Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-01-26 15:22 b8fcac51

View on Github →

feat(data/nat/basic): three small dvd_iff... lemmas (#11669) Three biconditionals for proving d ∣ n

Estimated changes

added theorem nat.dvd_iff_div_mul_eq
added theorem nat.dvd_iff_dvd_dvd
added theorem nat.dvd_iff_le_div_mul