Leibniz rule for divided differences (source code)

= Leibniz rule for divided differences
{c}

For $h=fg$,
$$
h[t_0,\ldots,t_k]=\sum_{m=0}^kf[t_0,\ldots,t_m]g[t_m,\ldots,t_k].
$$