Theorem Subsemigroup.map_iInf_comap_of_surjective

Modification history