Theorem Monoid.CoprodI.NeWord.singleton_last

Modification history