Def CategoryTheory.extendFanIsLimit

Modification history

2023-03-09 06:58

Mathlib/CategoryTheory/Limits/Constructions/FiniteProductsOfBinaryProducts.lean

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

Added CategoryTheory.extendFanIsLimit View on Github →