Mathlib v3 is deprecated. Go to Mathlib v4

Structure category_theory.pseudofunctor

Modification history

2022-03-06 07:44

src/category_theory/bicategory/functor.lean

feal(category_theory/bicategory/functor): define pseudofunctors (#11992) …

Added category_theory.pseudofunctor View on Github →