Theorem FreeMonoid.toList_one

Modification history