Theorem CategoryTheory.ProjectiveResolution.pOpcycles_comp_fromLeftDerivedZero'

Modification history