Def CategoryTheory.Limits.spanIsoMk

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.spanIsoMk View on Github →