Theorem Int.dvd_natAbs_of_ofNat_dvd

Modification history

2023-04-12 19:26
Mathlib/Data/Int/Dvd/Basic.lean
feat: Dot notation aliases (#3303) …
Deleted Int.dvd_natAbs_of_ofNat_dvdView on Github →
2022-12-14 08:49
Mathlib/Data/Int/Dvd/Basic.lean
feat : port Data.Int.Dvd.Basic (#996) …
Added Int.dvd_natAbs_of_ofNat_dvdView on Github →