Theorem CategoryTheory.Limits.CatCospanTransform.hom_ext

Modification history

2025-07-08 11:58

Mathlib/CategoryTheory/Limits/Shapes/Pullback/Categorical/CatCospanTransform.lean

chore: whitespace fixes in lemmas (#26892) …

Modified CategoryTheory.Limits.CatCospanTransform.hom_ext View on Github →

2025-07-05 08:08

Mathlib/CategoryTheory/Limits/Shapes/Pullback/Categorical/CatCospanTransform.lean

feat(CategoryTheory/Limits/Pullback/Categorical): categorical cospan transforms (#26412) …

Added CategoryTheory.Limits.CatCospanTransform.hom_ext View on Github →