Theorem Int.ofNat_eq_coe

Modification history

2022-12-13 21:04
Mathlib/Init/Data/Int/Basic.lean
chore: bump to get std4#63 (use Nat.cast in place of Int.ofNat) (#972) …
Deleted Int.ofNat_eq_coeView on Github →
2022-11-13 23:39
Mathlib/Init/Data/Int/Basic.lean
feat: align init.data.int.{basic, order} (#583)
Added Int.ofNat_eq_coeView on Github →