Theorem Nat.exists_add_mul_eq_of_gcd_dvd_of_mul_pred_le

Modification history

2025-07-15 10:52
Mathlib/Algebra/Order/Ring/Int.lean
feat: coin problem with two coins and prime ideals in ℕ (#27065) …
Added Nat.exists_add_mul_eq_of_gcd_dvd_of_mul_pred_leView on Github →