Theorem CategoryTheory.ShortComplex.rightHomology_ext

Modification history