Theorem CategoryTheory.Pseudofunctor.mapComp'_hom_comp_mapComp'_hom_whiskerRight

Modification history

2025-10-12 14:20
Mathlib/CategoryTheory/Bicategory/Strict/Pseudofunctor.lean
feat(CategoryTheory): pseudofunctors to Cat (#25971) …
Deleted CategoryTheory.Pseudofunctor.mapComp'_hom_comp_mapComp'_hom_whiskerRightView on Github →
2025-06-16 07:03
Mathlib/CategoryTheory/Bicategory/Functor/Strict.lean
feat(CategoryTheory): pseudofunctors from strict bicategories (#24382) …
Added CategoryTheory.Pseudofunctor.mapComp'_hom_comp_mapComp'_hom_whiskerRightView on Github →