Theorem homological_complex.zero_f_apply

Modification history