Mathlib v3 is deprecated. Go to Mathlib v4

Structure category_theory.limits.binary_bicone

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.binary_bicone View on Github →