Theorem LieAlgebra.Orthogonal.s_as_blocks

Modification history