mathlib

1f616214 - feat(linear_algebra/affine_space/affine_map): add `affine_map.proj` (#4850)