Theorem dvd_mul_sub_mul_mul_gcd_of_dvd

Modification history

2026-01-20 16:34
Mathlib/Algebra/Ring/Divisibility/Lemmas.lean
chore(Algebra): deprecate `CancelMonoidWithZero` (#33851) …
Modified dvd_mul_sub_mul_mul_gcd_of_dvdView on Github →
2024-07-11 10:12
Mathlib/Algebra/Ring/Divisibility/Lemmas.lean
feat(Mathlib.NumberTheory.FLT.Three): add various results (#14227) …
Added dvd_mul_sub_mul_mul_gcd_of_dvdView on Github →