Theorem CategoryTheory.ProjectiveResolution.leftDerived_app_eq

Modification history