Def Monoid.CoprodI.Word.equivPair

Modification history