Def CategoryTheory.Under.isColimitLiftCocone

Modification history

2025-12-13 14:21

Mathlib/CategoryTheory/Comma/Over/Basic.lean

chore: use `Category*` everywhere (#32842) …

Modified CategoryTheory.Under.isColimitLiftCocone View on Github →

2025-09-08 19:22

Mathlib/CategoryTheory/Comma/Over/Basic.lean

feat(CategoryTheory/Limits): colimit presentations (#29382) …

Added CategoryTheory.Under.isColimitLiftCocone View on Github →