Theorem CategoryTheory.ProjectiveResolution.ofComplex_exactAt_succ

Modification history