Theorem CategoryTheory.Limits.hasLimit_of_equalizer_and_product

Modification history

2023-03-11 14:23

Mathlib/CategoryTheory/Limits/Constructions/LimitsOfProductsAndEqualizers.lean

feat: port CategoryTheory.Limits.Constructions.LimitsOfProductsAndEqualizers (#2764)

Added CategoryTheory.Limits.hasLimit_of_equalizer_and_product View on Github →