Mathlib v3 is deprecated. Go to Mathlib v4

Def equiv.pi_fin_succ

Modification history

2022-06-13 17:42
src/logic/equiv/fin.lean
feat(category_theory/monoidal): monoidal functors `Type ⥤ C` acting on powers (#14330)
Added equiv.pi_fin_succView on Github →