Theorem Nat.prime_iff_not_exists_mul_eq

Modification history

2025-07-15 10:52
Mathlib/Data/Nat/Prime/Defs.lean
feat: coin problem with two coins and prime ideals in ℕ (#27065) …
Added Nat.prime_iff_not_exists_mul_eqView on Github →