mathlib3

531cfaca - feat(linear_algebra/affine_space/affine_subspace): `affine_equiv.comap_span`