Theorem FreeMonoid.length_one

Modification history