Theorem FreeMonoid.reverse_of

Modification history