Def Monoid.Coprod.liftEquiv

Modification history