Theorem CategoryTheory.Limits.CatCospanTransform.inv_base

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