Theorem CategoryTheory.ShortComplex.homologyMap_mapNatTrans

Modification history