Mathlib Changelog
v4
Changelog
About
Github
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 →