Def LieAlgebra.Orthogonal.typeDEquivSo'

Modification history