Theorem CategoryTheory.InjectiveResolution.ofCocomplex_d_0_1

Modification history