Theorem CategoryTheory.hasExactLimitsOfShape_discrete_of_hasExactLimitsOfShape_finset_discrete_op

Modification history

2024-12-06 15:26
Mathlib/CategoryTheory/Abelian/GrothendieckAxioms.lean
feat(CategoryTheory): expand the API for AB axioms (#19200) …
Added CategoryTheory.hasExactLimitsOfShape_discrete_of_hasExactLimitsOfShape_finset_discrete_opView on Github →