Theorem CategoryTheory.ProjectiveResolution.liftHomotopyZeroOne_comp

Modification history