Theorem FreeMonoid.toList_of_mul

Modification history