Theorem FreeMonoid.length_eq_two

Modification history