Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2022-06-13 17:42
3225926b
View on Github →
feat(category_theory/monoidal): monoidal functors
Type ⥤ C
acting on powers (
#14330
)
Estimated changes
Modified
src/category_theory/monoidal/types.lean
added
def
category_theory.monoidal_functor.map_pi
Modified
src/logic/equiv/fin.lean
added
def
equiv.pi_fin_succ