Def CategoryTheory.ProjectiveResolution.liftIdHomotopy

Modification history