Structure CategoryTheory.ShortComplex.RightHomologyMapData

Modification history