Def CategoryTheory.Limits.colimitOfInitial
Modification history
2024-05-07 01:05
Mathlib/CategoryTheory/Limits/Shapes/Terminal.lean
refactor: replace `@[reducible]` with `abbrev` (#12614) …
Deleted CategoryTheory.Limits.colimitOfInitialView on Github →