Mathlib Changelog
v4
Changelog
About
Github
Def
CategoryTheory.Functor.toPseudoFunctor'
Modification history
2025-06-08 16:23
Mathlib/CategoryTheory/Bicategory/Functor/LocallyDiscrete.lean
feat(Bicategory/Functor/LocallyDiscrete): add `Functor.toPseudofunctor` (#25569) …
Added
CategoryTheory.Functor.toPseudoFunctor'
View on Github →