Def CategoryTheory.Under.pushoutComp

Modification history

2025-04-15 15:31

Mathlib/CategoryTheory/Comma/Over/Pullback.lean

chore(CategoryTheory/Over): fix name of `Under.pullbackComp` (#24084)

Added CategoryTheory.Under.pushoutComp View on Github →