Theorem Subsemigroup.mem_map_equiv

Modification history