Theorem NonUnitalSubring.comap_inf

Modification history