Mathlib v3 is deprecated. Go to Mathlib v4

Def affine_map.proj

Modification history

2020-10-31 08:43
src/linear_algebra/affine_space/affine_map.lean
feat(linear_algebra/affine_space/affine_map): add `affine_map.proj` (#4850)
Added affine_map.projView on Github →