Theorem homological_complex.add_f_apply

Modification history