Def CategoryTheory.ChosenFiniteProducts.isLimitChosenFiniteProductsOfPreservesLimits

Modification history

2024-11-19 08:25
Mathlib/CategoryTheory/ChosenFiniteProducts.lean
refactor(CategoryTheory): make PreservesLimit and ReflectsLimit props (#19206) …
Deleted CategoryTheory.ChosenFiniteProducts.isLimitChosenFiniteProductsOfPreservesLimitsView on Github →
2024-10-22 19:00
Mathlib/CategoryTheory/ChosenFiniteProducts.lean
feat(CategoryTheory/ChosenFiniteProducts): `prodComparison` and `terminalComparison` for `ChosenFiniteProducts` (#17701) …
Added CategoryTheory.ChosenFiniteProducts.isLimitChosenFiniteProductsOfPreservesLimitsView on Github →