Theorem LieAlgebra.InvariantForm.mem_orthogonal

Modification history