Theorem LieAlgebra.Orthogonal.indefiniteDiagonal_transform

Modification history