Theorem Subsemigroup.mem_carrier

Modification history