Theorem CochainComplex.single₀_obj_zero

Modification history