Theorem Monoid.CoprodI.NeWord.inv_head

Modification history