Theorem CategoryTheory.ShortComplex.mapRightHomologyIso_hom_naturality

Modification history