Theorem CategoryTheory.ShortComplex.HasRightHomology.mk'

Modification history