Theorem CategoryTheory.ShortComplex.mapRightHomologyIso_inv_naturality

Modification history