Theorem HomologicalComplex.kernel_from_eq_kernel

Modification history