Theorem IsBaseChange.transvection

Modification history

2025-12-08 13:23

Mathlib/LinearAlgebra/Transvection.lean

feat(LinearAlgebra/Transvection): base change of transvections (#31165) …

Added IsBaseChange.transvection View on Github →