Theorem Monoid.CoprodI.NeWord.mulHead_head

Modification history