Def AlgEquiv.symm

Modification history