Theorem CategoryTheory.ShortComplex.leftHomologyMap_add

Modification history