Theorem CategoryTheory.Localization.HasProductsOfShapeAux.inverts

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.HasProductsOfShapeAux.invertsView on Github →