Theorem LieAlgebra.IsKilling.disjoint_ker_weight_corootSpace

Modification history