Theorem LieAlgebra.InvariantForm.orthogonal_toSubmodule

Modification history