Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-03-03 19:28 5d0960b6

View on Github →

feat(data/int/basic): add three lemmas about ints, nats and int_nat_abs (#12380) Zulip discussion

Estimated changes

added theorem int.coe_nat_nonpos_iff
added theorem int.to_nat_eq_zero
added theorem int.to_nat_neg_nat