Theorem Subring.comap_iInf

Modification history