Theorem CategoryTheory.InjectiveResolution.homotopyEquiv_hom_ι

Modification history