Def CategoryTheory.Limits.CatCospanTransform.rightUnitor

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