Theorem FreeMonoid.symbols_one

Modification history