Def CategoryTheory.SemiadditiveOfBinaryBiproducts.rightAdd

Modification history

2023-03-17 12:26

Mathlib/CategoryTheory/Preadditive/OfBiproducts.lean

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

Added CategoryTheory.SemiadditiveOfBinaryBiproducts.rightAdd View on Github →