Theorem IsLocalization.disjoint_comap_iff

Modification history