Theorem Int.ofNat_dvd_of_dvd_natAbs

Modification history

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