Theorem CategoryTheory.ProjectiveResolution.leftDerivedToHomotopyCategory_app_eq

Modification history