Theorem CategoryTheory.ProjectiveResolution.iso_hom_naturality

Modification history