Theorem Monoid.CoprodI.NeWord.append_prod

Modification history