Def CategoryTheory.createsLimitOfReflectsIsomorphismsOfPreserves

Modification history

2025-02-02 12:28
Mathlib/CategoryTheory/Limits/Creates.lean
feat: creation of products and equalizers implies creation of limits (#21321)
Added CategoryTheory.createsLimitOfReflectsIsomorphismsOfPreservesView on Github →