Theorem HomologicalComplex.cycles_eq_kernelSubobject

Modification history