Theorem Monoid.CoprodI.NeWord.append_head

Modification history