Theorem CategoryTheory.InjectiveResolution.ofCocomplex_exactAt_succ

Modification history