Def CategoryTheory.SemiadditiveOfBinaryBiproducts.leftAdd

Modification history

2023-03-17 12:26

Mathlib/CategoryTheory/Preadditive/OfBiproducts.lean

feat: port CategoryTheory.Preadditive.OfBiproducts (#2939)

Added CategoryTheory.SemiadditiveOfBinaryBiproducts.leftAdd View on Github →