Theorem LieAlgebra.IsKilling.coe_invtSubmoduleToLieIdeal_eq_iSup

Modification history

2026-01-10 09:11
Mathlib/Algebra/Lie/Weights/IsSimple.lean
feat: prove invtSubmoduleToLieIdeal_top (#33271)
Added LieAlgebra.IsKilling.coe_invtSubmoduleToLieIdeal_eq_iSupView on Github →