Theorem FreeMonoid.mem_of_self

Modification history