Theorem CategoryTheory.Localization.hasFiniteProducts

Modification history

2024-02-09 04:56
Mathlib/CategoryTheory/Localization/FiniteProducts.lean
feat(CategoryTheory/Localization): the localized category has finite products (#9692) …
Added CategoryTheory.Localization.hasFiniteProductsView on Github →