Theorem CategoryTheory.ShortComplex.π_descHomology

Modification history