Theorem CategoryTheory.InjectiveResolution.isoRightDerivedObj_hom_naturality

Modification history