Theorem LieAlgebra.InvariantForm.orthogonal_disjoint

Modification history