Theorem IsLocalization.isPrime_iff_isPrime_disjoint

Modification history