Theorem LieAlgebra.IsKilling.coroot_neg

Modification history