Def CategoryTheory.extendFan

Modification history

2023-03-09 06:58

Mathlib/CategoryTheory/Limits/Constructions/FiniteProductsOfBinaryProducts.lean

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

Added CategoryTheory.extendFan View on Github →