Mathlib Changelog
v4
Changelog
About
Github
Def
CategoryTheory.Limits.CatCospanTransform.associator
Modification history
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.associator
View on Github →