Def Equiv.sigmaAssoc

Modification history