Theorem HomologicalComplex.cylinder.inrX_π

Modification history