Theorem CategoryTheory.Injective.isZero_under

Modification history

2025-11-23 19:05
Mathlib/CategoryTheory/Preadditive/Injective/Basic.lean
feat(Algebra/Homology): a factorization of morphisms of cochain complexes (#31559) …
Added CategoryTheory.Injective.isZero_underView on Github →