Def Equiv.sigmaEquivProdOfEquiv

Modification history