Theorem LieAlgebra.InvariantForm.orthogonal_isCompl_coe_submodule

Modification history