Theorem HomologicalComplex.zero_f_apply

Modification history