Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-11-29 06:52 a53da16c

View on Github →

feat(data/int/basic): nat_abs_dvd_iff_dvd (#10469)

Estimated changes