Theorem LieAlgebra.SpecialLinear.eb_val

Modification history

2025-05-23 08:24
Mathlib/Algebra/Lie/Classical.lean
feat(Algebra/Lie/Classical): the rest of the basis elements (#24645) …
Deleted LieAlgebra.SpecialLinear.eb_valView on Github →
2025-05-06 15:16
Mathlib/Algebra/Lie/Classical.lean
refactor: rename `Matrix.stdBasisMatrix` to `Matrix.single` (#24622) …
Modified LieAlgebra.SpecialLinear.eb_valView on Github →
2025-05-06 11:37
Mathlib/Algebra/Lie/Classical.lean
refactor: make `LieAlgebra.SpecialLinear.Eb` take an `r` argument (#24613) …
Modified LieAlgebra.SpecialLinear.eb_valView on Github →
2023-06-07 10:11
Mathlib/Algebra/Lie/Classical.lean
feat: port Algebra.Lie.Classical (#4788)
Added LieAlgebra.SpecialLinear.eb_valView on Github →