Def Equiv.algEquiv

Modification history