Theorem CategoryTheory.ShortComplex.RightHomologyMapData.congr_φQ

Modification history