Commit 2024-04-20 20:51 129548ae

View on Github →

feat(Nat/Defs): Add div_dvd_iff_dvd_mul (#12243)

Estimated changes

Modified Mathlib/Data/Nat/Defs.lean

added theorem Nat.div_dvd_iff_dvd_mul

added theorem Nat.dvd_mul_of_div_dvd