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 →