Def CategoryTheory.Limits.pUnitCoconeIsColimit

Modification history

2023-06-13 06:07

Mathlib/CategoryTheory/Limits/Unit.lean

chore: tidy various files (#4997)

Deleted CategoryTheory.Limits.pUnitCoconeIsColimit View on Github →

2023-03-04 08:58

Mathlib/CategoryTheory/Limits/Unit.lean

feat: port CategoryTheory.Limits.Unit (#2597)

Added CategoryTheory.Limits.pUnitCoconeIsColimit View on Github →