Theorem Monoid.CoprodI.NeWord.inv_last

Modification history