!4#3651 Analysis.NormedSpace.AffineIsometry

Stream: PR reviews

[Jeremy Tan]

!4#3289 I'd like someone to come here and fix the remaining errors in this file; it immediately unblocks quite a few other files

[Scott Morrison]

@Jeremy Tan, I just finished fixing the errors in this file. I haven't looked at it otherwise, so could you (or anyone: it's marked help-wanted) please have another look through and then mark as awaiting-review if it looks good?

[Jeremy Tan]

It's been marked awaiting-review now, it passes CI

[Jeremy Tan]

!4#3289 being merged now unlocks !4#3651, Analysis.NormedSpace.AffineIsometry. Would like to have someone fix the rest of this one too

[Jeremy Tan]

This is interesting because it gives a shortcut to Combinatorics.Additive.SalemSpencer