Theorem CategoryTheory.ShortComplex.opcyclesOpIso_inv_naturality

Modification history