mathlib

55d6d2eb - Merge branch 'affine-equiv' into mazur-ulam-affine