Theorem FreeMonoid.reverse_mul

Modification history