Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-07-19 21:09 3788b073

View on Github →

refactor(logic/equiv/nat): remove equiv.nat_prod_nat_equiv_nat (#15509) This is a duplicate of nat.mkpair_equiv.

Estimated changes

Modified src/data/countable/basic.lean

Modified src/logic/equiv/nat.lean

deleted def equiv.nat_prod_nat_equiv_nat

Modified src/measure_theory/measure/outer_measure.lean