2023-03-11 14:23
Mathlib/CategoryTheory/Limits/Constructions/LimitsOfProductsAndEqualizers.lean
feat: port CategoryTheory.Limits.Constructions.LimitsOfProductsAndEqualizers (#2764)
Added CategoryTheory.Limits.hasFiniteColimits_of_hasInitial_and_pushouts