Theorem FreeMonoid.freeMonoidCongr_of

Modification history