Theorem FreeMonoid.not_mem_one

Modification history