Theorem Subsemigroup.comap_inf

Modification history