Theorem CategoryTheory.ShortComplex.leftHomology_ext

Modification history