Theorem Ideal.isPrime_iff_of_isPrincipalIdealRing_of_noZeroDivisors

Modification history

2025-07-15 10:52
Mathlib/RingTheory/Ideal/Maximal.lean
feat: coin problem with two coins and prime ideals in ℕ (#27065) …
Added Ideal.isPrime_iff_of_isPrincipalIdealRing_of_noZeroDivisorsView on Github →