# Def category_theory.limits.alternative_cone

#### Modification history

2020-12-09 16:13

src/category_theory/limits/shapes/constructions/preserve_binary_products.lean

feat(category_theory/limits/preserves): preserving binary products (#5061) …

Deleted category_theory.limits.alternative_coneView on Github →