Mathlib v3 is deprecated. Go to Mathlib v4

Def equiv.int_equiv_nat_sum_nat

Modification history

2019-07-11 13:58

src/data/equiv/basic.lean

refactor(*): change priority of \simeq (#1210) …

Modified equiv.int_equiv_nat_sum_nat View on Github →

2017-10-24 22:31

data/equiv.lean

feat(data/num,data/nat/cast,...): nat,num,int,rat.cast, list stuff

Added equiv.int_equiv_nat_sum_nat View on Github →