Theorem Monoid.CoprodI.NeWord.singleton_head

Modification history