Def CategoryTheory.Bicategory.associatorNatIsoRightCat

Modification history

2026-03-12 20:50
Mathlib/CategoryTheory/Bicategory/Yoneda.lean
feat(Bicategory/Yoneda): add the yoneda pseudofunctor (#30927)
Added CategoryTheory.Bicategory.associatorNatIsoRightCatView on Github →