Theorem CategoryTheory.ProjectiveResolution.fromLeftDerivedZero_eq

Modification history