Theorem LieAlgebra.IsKilling.invtSubmoduleToLieIdeal_top

Modification history

2026-03-29 20:17
Mathlib/Algebra/Lie/Weights/IsSimple.lean
feat: order isomorphism between ideals and invariant root submodules (#37285) …
Deleted LieAlgebra.IsKilling.invtSubmoduleToLieIdeal_topView on Github →
2026-01-10 09:11
Mathlib/Algebra/Lie/Weights/IsSimple.lean
feat: prove invtSubmoduleToLieIdeal_top (#33271)
Added LieAlgebra.IsKilling.invtSubmoduleToLieIdeal_topView on Github →