Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-12-03 08:57 2648e685

View on Github →

chore(int/*): dedup lemma (#10583)

Estimated changes

Modified src/data/int/basic.lean

modified theorem int.nat_abs_dvd_iff_dvd

Modified src/data/int/gcd.lean

deleted theorem int.nat_abs_dvd_abs_iff

Modified src/ring_theory/int/basic.lean