Theorem CategoryTheory.ProjectiveResolution.liftFOne_zero_comm

Modification history