Theorem LieAlgebra.Orthogonal.jb_transform

Modification history