Mathlib v3 is deprecated. Go to Mathlib v4

Theorem affine_map.pi_line_map_apply

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