Theorem LieAlgebra.SpecialLinear.singleSubSingle_sub_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_sub_singleSubSingle'View on Github →