Theorem CategoryTheory.ProjectiveResolution.homotopyEquiv_hom_π

Modification history