Theorem CategoryTheory.ShortComplex.rightHomologyMap_op

Modification history