Mathlib v3 is deprecated. Go to Mathlib v4

Def category_theory.limits.biproduct.desc

Modification history

2020-04-12 20:36

src/category_theory/limits/shapes/biproducts.lean

feat(category_theory): biproducts, and biproducts in AddCommGroup (#2187) …

Added category_theory.limits.biproduct.desc View on Github →