Def Monoid.MulEquiv.coprodPUnit

Modification history