Theorem CategoryTheory.InjectiveResolution.cocomplex_exactAt_succ

Modification history