Theorem LieAlgebra.InvariantForm.isSemisimple_of_nondegenerate

Modification history