Theorem dvd_mul_sub_mul_mul_gcd_of_dvd

Modification history

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 →