Def Monoid.CoprodI.NeWord.head

Modification history