Def cochain_complex.kernel_functor

Modification history