Mathlib v3 is deprecated. Go to Mathlib v4

Theorem int.nat_abs_dvd_iff_dvd

Modification history

2022-11-05 21:51
src/data/int/basic.lean
chore(data/int/basic): split file (#17342) …
Modified int.nat_abs_dvd_iff_dvdView on Github →
2021-12-03 08:57
src/data/int/basic.lean
chore(int/*): dedup lemma (#10583)
Modified int.nat_abs_dvd_iff_dvdView on Github →
2021-11-29 06:52
src/data/int/basic.lean
feat(data/int/basic): `nat_abs_dvd_iff_dvd` (#10469)
Added int.nat_abs_dvd_iff_dvdView on Github →