mathlib3

2a36d256 - chore(analysis/normed_space/mazur_ulam): add `to_affine_map` (#2963)