Def CategoryTheory.Limits.PullbackCone.combineIsLimit

Modification history

2025-12-11 16:28

Mathlib/CategoryTheory/Limits/FunctorCategory/Shapes/Pullbacks.lean

feat(CategoryTheory): combine pullback cones in the functor category (#32618)

Added CategoryTheory.Limits.PullbackCone.combineIsLimit View on Github →