Def Monoid.CoprodI.NeWord.replaceHead

Modification history