Theorem CategoryTheory.ShortComplex.mapHomologyIso'_inv_naturality

Modification history