Theorem CategoryTheory.InjectiveResolution.iso_hom_naturality

Modification history