Theorem HomologicalComplex.to_single_hom_ext

Modification history