Theorem HomologicalComplex.homologyFunctor_inverts_qis

Modification history