Theorem CategoryTheory.ShortComplex.rightHomologyMap'_op

Modification history