Theorem CategoryTheory.ShortComplex.mapHomologyIso_inv_naturality

Modification history