Theorem Int.coe_nat_le

Modification history

2022-12-13 21:04
Mathlib/Data/Int/Basic.lean
chore: bump to get std4#63 (use Nat.cast in place of Int.ofNat) (#972) …
Deleted Int.coe_nat_leView on Github →
2022-11-01 22:54
Mathlib/Data/Int/Basic.lean
chore(init/data/int): move lemmas (#525) …
Modified Int.coe_nat_leView on Github →
2022-09-06 13:11
Mathlib/Init/Data/Int/Basic.lean
chore: update lean + std4 09-05 (#401)
Added Int.coe_nat_leView on Github →