Def AlgEquiv.piMulOpposite

Modification history