Def CategoryTheory.Functor.toPseudofunctor

Modification history

2026-02-20 18:02

Mathlib/CategoryTheory/Bicategory/Functor/LocallyDiscrete.lean

doc(CategoryTheory/Bicategory/Functor): clean up docstrings (#34978) …

Added CategoryTheory.Functor.toPseudofunctor View on Github →