Theorem CategoryTheory.Pseudofunctor.mapComp'₀₁₃_inv_comp_mapComp'₀₂₃_hom

Modification history

2025-10-12 14:20
Mathlib/CategoryTheory/Bicategory/Strict/Pseudofunctor.lean
feat(CategoryTheory): pseudofunctors to Cat (#25971) …
Added CategoryTheory.Pseudofunctor.mapComp'₀₁₃_inv_comp_mapComp'₀₂₃_homView on Github →