Theorem Subsemigroup.comap_iInf_map_of_injective

Modification history