Def CategoryTheory.Limits.cospanIsoMk

Modification history

2025-12-11 16:28

Mathlib/CategoryTheory/Limits/Shapes/Pullback/Cospan.lean

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

Added CategoryTheory.Limits.cospanIsoMk View on Github →