Theorem FreeMonoid.length_reverse

Modification history