Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-11-05 05:07 b934956c

View on Github →

feat(data/int/basic): make coe_nat_le, coe_nat_lt, coe_nat_inj' into simp lemmas

Estimated changes

modified theorem int.coe_nat_inj'
modified theorem int.coe_nat_le
modified theorem int.coe_nat_lt