Mathlib v3 is deprecated. Go to Mathlib v4

Def category_theory.equivalence.pow_nat

Modification history

2021-05-03 17:06
src/category_theory/equivalence.lean
chore(*): update to lean 3.30.0c (#7264) …
Added category_theory.equivalence.pow_natView on Github →