Theorem CategoryTheory.ShortComplex.rightHomologyMap_zero

Modification history