Theorem CategoryTheory.ShortComplex.rightHomologyMap_neg

Modification history