Theorem LieAlgebra.Orthogonal.indefiniteDiagonal_assoc

Modification history