Theorem LieAlgebra.IsKilling.eq_top_of_invtSubmodule_ne_bot

Modification history

2025-10-11 23:02
Mathlib/Algebra/Lie/Weights/IsSimple.lean
feat: invariant dual submodules define Lie ideals (#29979) …
Modified LieAlgebra.IsKilling.eq_top_of_invtSubmodule_ne_botView on Github →
2025-08-02 11:30
Mathlib/Algebra/Lie/Weights/RootSystem.lean
chore: various indentation fixes (#27869) …
Modified LieAlgebra.IsKilling.eq_top_of_invtSubmodule_ne_botView on Github →
2025-05-19 19:51
Mathlib/Algebra/Lie/Weights/RootSystem.lean
feat: simple lie algebras have irreducible root systems (#24849) …
Added LieAlgebra.IsKilling.eq_top_of_invtSubmodule_ne_botView on Github →