Structure CategoryTheory.Pseudofunctor.StrongTrans.Hom

Modification history

2025-12-01 19:09
Mathlib/CategoryTheory/Bicategory/Modification/Pseudo.lean
feat(Bicategory/FunctorBicategory): add type aliases for 2-morphisms in functor bicategories (#32301)
Added CategoryTheory.Pseudofunctor.StrongTrans.HomView on Github →