Theorem CategoryTheory.ShortComplex.leftHomologyMap'_op

Modification history