Def CategoryTheory.Under.pushoutComp

Modification history

2025-10-10 06:53
Mathlib/CategoryTheory/Comma/Over/Pullback.lean
refactor: weaken HasPullbacks to HasPullback in Over.Pullback (#29795) …
Modified CategoryTheory.Under.pushoutCompView on Github →
2025-04-15 15:31
Mathlib/CategoryTheory/Comma/Over/Pullback.lean
chore(CategoryTheory/Over): fix name of `Under.pullbackComp` (#24084)
Added CategoryTheory.Under.pushoutCompView on Github →