Mathlib v3 is deprecated. Go to Mathlib v4

Theorem affine_map.proj_linear

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.proj_linear View on Github →