Theorem CategoryTheory.InjectiveResolution.smul_extMk

Modification history

2026-10-02 13:31
Mathlib/CategoryTheory/Abelian/Injective/Ext.lean
feat(Algebra/Homology): more API for Ext in linear categories (#44190) …
Added CategoryTheory.InjectiveResolution.smul_extMkView on Github →