Def Monoid.coprodCon

Modification history