Def CategoryTheory.Limits.CatCospanTransform.leftUnitor

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