Structure CategoryTheory.Oplax.OplaxTrans.Hom

Modification history

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