Theorem AddSubmonoid.mem_closure_singleton

Modification history