Theorem Monoid.CoprodI.NeWord.mulHead_prod

Modification history