Def CategoryTheory.CatCommSq.hId

Modification history

2025-07-05 08:08

Mathlib/CategoryTheory/CatCommSq.lean

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

Added CategoryTheory.CatCommSq.hId View on Github →