Theorem FreeMonoid.symbols_mul

Modification history