Theorem CategoryTheory.ShortComplex.RightHomologyMapData.congr_φH

Modification history