Theorem category_theory.limits.has_finite_coproducts_of_has_finite_colimits
Modification history
2021-07-09 09:42
src/category_theory/limits/shapes/finite_products.lean
feat(category_theory/limits): finite products from finite limits (#8236) …
Deleted category_theory.limits.has_finite_coproducts_of_has_finite_colimitsView on Github →