Theorem LieAlgebra.IsKilling.invtSubmoduleToLieIdeal_apply_eq_bot_iff

Modification history

2026-01-24 10:53
Mathlib/Algebra/Lie/Weights/IsSimple.lean
feat: golf eq_top_of_invtSubmodule_ne_bot (#32974)
Added LieAlgebra.IsKilling.invtSubmoduleToLieIdeal_apply_eq_bot_iffView on Github →