Theorem Subring.comap_inf

Modification history