Commit 2026-10-18 07:19 f039e1b8

feat(Category/Abelian/Injective): interaction between InjectiveResolution.extMk and the connecting morphism (#43224) Given a short exact sequence 0 → X₁ → X₂ → X₃ → 0 and an injective resolution R of an object Y, we give a concrete computation of the connecting homomorphism $$Ext^n(X_1, Y) \to Ext^{n + 1}(X_3, Y)$$.