Mathlib Changelog
v3
Changelog
About
Github
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_succ
View on Github →