Theorem LieAlgebra.IsKilling.span_weight_eq_top

Modification history