Def AlgEquivClass.toAlgEquiv

Modification history