Theorem Monoid.CoprodI.NeWord.replaceHead_head

Modification history