Theorem CategoryTheory.ProjectiveResolution.complex_d_succ_comp

Modification history