Theorem FreeMonoid.toList_mul

Modification history