Theorem CategoryTheory.HomOrthogonal.eq_zero

Modification history

2023-05-10 13:30
Mathlib/CategoryTheory/Preadditive/HomOrthogonal.lean
feat: port CategoryTheory.Preadditive.HomOrthogonal (#3734)
Added CategoryTheory.HomOrthogonal.eq_zeroView on Github →