Theorem Subsemigroup.comap_map_comap

Modification history