Theorem HomologicalComplex.sub_f_apply

Modification history