Theorem IsLocalization.comap_map_of_isPrime_disjoint

Modification history