Def CategoryTheory.extendCofan

Modification history

2023-03-09 06:58

Mathlib/CategoryTheory/Limits/Constructions/FiniteProductsOfBinaryProducts.lean

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

Added CategoryTheory.extendCofan View on Github →