Theorem HomologicalComplex.qis_iff

Modification history