Def Monoid.MulEquiv.punitCoprod

Modification history