Def LieAlgebra.SpecialLinear.singleSubSingle

Modification history

2025-05-23 08:24

Mathlib/Algebra/Lie/Classical.lean

feat(Algebra/Lie/Classical): the rest of the basis elements (#24645) …

Added LieAlgebra.SpecialLinear.singleSubSingle View on Github →