Theorem CategoryTheory.ShortComplex.leftHomologyMap_op

Modification history