Theorem Subsemigroup.closure_singleton_le_iff_mem

Modification history