Theorem CategoryTheory.ShortComplex.mapHomologyIso'_eq_mapHomologyIso

Modification history