Def CategoryTheory.Limits.HasLimitOfHasProductsOfHasEqualizers.buildLimit

Modification history

2024-07-26 02:02
Mathlib/CategoryTheory/Limits/Constructions/LimitsOfProductsAndEqualizers.lean
chore: robustifying for debug.byAsSorry (part 5) (#15126)
Modified CategoryTheory.Limits.HasLimitOfHasProductsOfHasEqualizers.buildLimitView on Github →
2023-03-11 14:23
Mathlib/CategoryTheory/Limits/Constructions/LimitsOfProductsAndEqualizers.lean
feat: port CategoryTheory.Limits.Constructions.LimitsOfProductsAndEqualizers (#2764)
Added CategoryTheory.Limits.HasLimitOfHasProductsOfHasEqualizers.buildLimitView on Github →