Theorem CategoryTheory.ShortComplex.mapHomologyIso'_hom_naturality

Modification history