Theorem CategoryTheory.ProjectiveResolution.lift_commutes_zero

Modification history