Theorem CategoryTheory.hasColimits_of_hasColimits_createsColimits

Modification history

2023-06-03 07:53
Mathlib/CategoryTheory/Limits/Creates.lean
refactor: fixes to material on sheaves and stalks (#4571) …
Added CategoryTheory.hasColimits_of_hasColimits_createsColimitsView on Github →