Def CategoryTheory.extendCofanIsColimit

Modification history

2023-03-09 06:58

Mathlib/CategoryTheory/Limits/Constructions/FiniteProductsOfBinaryProducts.lean

feat: port CategoryTheory.Limits.Constructions.FiniteProductsOfBinaryProducts (#2738)

Added CategoryTheory.extendCofanIsColimit View on Github →