Def CategoryTheory.ShortComplex.RightHomologyMapData.ofIsColimitCokernelCofork

Modification history