# Def category_theory.limits.pi.lift

#### Modification history

2020-06-29 13:48

src/category_theory/limits/shapes/products.lean

feat(category/limits/shapes): fix biproducts (#3175) …

Modified category_theory.limits.pi.liftView on Github →Mathlib v3 is deprecated. Go to Mathlib v4

2020-06-29 13:48

src/category_theory/limits/shapes/products.lean

feat(category/limits/shapes): fix biproducts (#3175) …

Modified category_theory.limits.pi.liftView on Github →