Theorem LieAlgebra.IsKilling.iInf_ker_weight_eq_bot

Modification history