Theorem shift_eq_sum_fwdDiff_iter

Modification history