Theorem ChainComplex.single₀ObjXSelf

Modification history