Theorem AffineEquiv.ofEq_symm
Modification history
2025-03-03 00:15
Mathlib/LinearAlgebra/AffineSpace/AffineSubspace/Basic.lean
chore: split long file Mathlib.LinearAlgebra.AffineSpace.AffineSubspace (#22384)
Modified AffineEquiv.ofEq_symmView on Github →