Theorem AffineMap.map_vectorSpan

Modification history

2026-01-21 00:52
Mathlib/LinearAlgebra/AffineSpace/AffineSubspace/Basic.lean
feat(Geometry/Euclidean/Altitude): `map` and `restrict` lemmas (#32021) …
Added AffineMap.map_vectorSpanView on Github →