Theorem ChainComplex.single₀_obj_zero

Modification history