Theorem FreeMonoid.freeMonoidCongr_symm_of

Modification history