Theorem CategoryTheory.ProjectiveResolution.liftHomotopyZeroSucc_comp

Modification history