# Def category_theory.limits.finite_limits_from_equalizers_and_finite_products

#### Modification history

2020-09-12 06:00

src/category_theory/limits/shapes/constructions/limits_of_products_and_equalizers.lean

feat(category_theory/limits): make has_limit a Prop (#3995) …

Deleted category_theory.limits.finite_limits_from_equalizers_and_finite_productsView on Github →2019-09-21 06:12

src/category_theory/limits/shapes/constructions/limits_of_products_and_equalizers.lean

fix(category_theory/finite_limits): fix definition, and construct from finite products and equalizers (#1427) …

Added category_theory.limits.finite_limits_from_equalizers_and_finite_productsView on Github →