Theorem FreeMonoid.length_of

Modification history