Mathlib Changelog
v4
Changelog
About
Github
Theorem
Int.coe_nat_lt
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_lt
View on Github →
2022-11-01 22:54
Mathlib/Data/Int/Basic.lean
chore(init/data/int): move lemmas (#525) …
Modified
Int.coe_nat_lt
View on Github →
2022-09-06 13:11
Mathlib/Init/Data/Int/Basic.lean
chore: update lean + std4 09-05 (#401)
Added
Int.coe_nat_lt
View on Github →