Def CategoryTheory.Over.pullbackComp

Modification history

2025-10-10 06:53
Mathlib/CategoryTheory/Comma/Over/Pullback.lean
refactor: weaken HasPullbacks to HasPullback in Over.Pullback (#29795) …
Modified CategoryTheory.Over.pullbackCompView on Github →
2024-07-17 18:39
Mathlib/CategoryTheory/Adjunction/Over.lean
deduplicate pullback and baseChange (#14519) …
Modified CategoryTheory.Over.pullbackCompView on Github →
2023-04-14 12:58
Mathlib/CategoryTheory/Limits/Over.lean
feat: port CategoryTheory.Limits.Over (#3172)
Added CategoryTheory.Over.pullbackCompView on Github →