Def CategoryTheory.Limits.CatCospanTransform.baseIso
Modification history
2025-10-01 08:55
Mathlib/CategoryTheory/Limits/Shapes/Pullback/Categorical/CatCospanTransform.lean
feat(CategoryTheory/Limits/Shapes/Pullback/Categorical/CatCospanTransform): more lemmas about isomorphisms of `CatCospanTransform` (#26547) …
Added CategoryTheory.Limits.CatCospanTransform.baseIsoView on Github →