Theorem IsLocalization.isPrime_of_isPrime_disjoint

Modification history