Theorem Subsemigroup.closure_le

Modification history