Theorem CategoryTheory.SemiadditiveOfBinaryBiproducts.isUnital_rightAdd

Modification history

2023-03-17 12:26
Mathlib/CategoryTheory/Preadditive/OfBiproducts.lean
feat: port CategoryTheory.Preadditive.OfBiproducts (#2939)
Added CategoryTheory.SemiadditiveOfBinaryBiproducts.isUnital_rightAddView on Github →