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) …

Deleted category_theory.limits.equalizer_diagram.cones_inv