Theorem CochainComplex.single₀ObjXSelf

Modification history