Theorem HomologicalComplex.extend_d_eq

Modification history