Def Monoid.CoprodI.lift

Modification history