Theorem HomologicalComplex.neg_f_apply

Modification history