Theorem AffineMap.eqOn_affineSpan

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