Theorem AffineMap.linear_eqOn_vectorSpan

Modification history

2025-11-04 14:52
Mathlib/LinearAlgebra/AffineSpace/AffineSubspace/Basic.lean
feat(LinearAlgebra/AffineSpace): affine maps/equivs determined by values on spanning sets (#30949) …
Added AffineMap.linear_eqOn_vectorSpanView on Github →