Theorem homological_complex.neg_f_apply

Modification history