Theorem FreeMonoid.toList_prod

Modification history