Theorem LieAlgebra.IsKilling.sl2SubmoduleOfRoot_ne_bot

Modification history

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