Theorem HomologicalComplex.image_eq_image

Modification history