Theorem CategoryTheory.Limits.IsInitial.hasInitial

Modification history

2023-04-22 02:22
Mathlib/CategoryTheory/Limits/Shapes/Terminal.lean
chore: tidy various files (#3584)
Modified CategoryTheory.Limits.IsInitial.hasInitialView on Github →
2023-03-02 07:55
Mathlib/CategoryTheory/Limits/Shapes/Terminal.lean
feat: port CategoryTheory.Limits.Shapes.Terminal (#2459)
Added CategoryTheory.Limits.IsInitial.hasInitialView on Github →