Theorem Nat.maximalIdeal_eq_span_two_three

Modification history

2025-09-12 22:44
Mathlib/RingTheory/Ideal/NatInt.lean
feat(NumberTheory): Frobenius number exists & ℕ is Noetherian semiring (#27743) …
Modified Nat.maximalIdeal_eq_span_two_threeView on Github →
2025-07-15 10:52
Mathlib/RingTheory/Ideal/NatInt.lean
feat: coin problem with two coins and prime ideals in ℕ (#27065) …
Added Nat.maximalIdeal_eq_span_two_threeView on Github →