Theorem AffineEquiv.ext_on

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