Theorem Submonoid.mem_closure_singleton

Modification history