Def CategoryTheory.Limits.Cocone.isColimitEquivIsInitial

Modification history

2023-03-11 14:23

Mathlib/CategoryTheory/Limits/ConeCategory.lean

feat: Port CategoryTheory.Limits.ConeCategory (#2767)

Added CategoryTheory.Limits.Cocone.isColimitEquivIsInitial View on Github →