Theorem CategoryTheory.ProjectiveResolution.complex_exactAt_succ

Modification history