Theorem CategoryTheory.Limits.hasColimit_of_coequalizer_and_coproduct

Modification history

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