Theorem LieAlgebra.IsKilling.traceForm_cartan_nondegenerate

Modification history