Theorem Monoid.CoprodI.NeWord.toList_head?

Modification history