Theorem FreeMonoid.toList_of

Modification history