Theorem LieAlgebra.IsKilling.exists_isSl2Triple_of_weight_isNonZero

Modification history