Def Subsemiring.prodEquiv

Modification history