Theorem Nat.dvd_mul_gcd_iff_dvd_mul

Modification history

2025-04-03 05:22
Mathlib/Data/Nat/GCD/Basic.lean
chore: bump toolchain to v4.19.0-rc2 (#23614)
Deleted Nat.dvd_mul_gcd_iff_dvd_mulView on Github →
2024-04-24 20:27
Mathlib/Data/Nat/GCD/Basic.lean
feat(Nat/GCD): Add dvd_gcd_mul_gcd_of_dvd_mul (#12246)
Added Nat.dvd_mul_gcd_iff_dvd_mulView on Github →