Theorem FreeMonoid.length_mul

Modification history