Theorem CategoryTheory.hasLimits_of_hasLimits_createsLimits

Modification history

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