Revision #2346 → #2989 · back to history
79a806e70c9d| Field | From #2346 | To #2989 |
|---|---|---|
| label | Power and Leibniz rule for differences | Commutation of Δ^k and ∇^n on sequences |
| note | The Leibniz/product rule `Δ(fg) = Δf · g + f · Δg + Δf · Δg` is `fwdDiff_smul`; no power rule for differences is stated. | The commutation/power identity relating iterated forward and backward differences is not stated as such; the closest formalized fact is the discrete Leibniz rule `fwdDiff_smul`. |
| provenance | ai | ai-moderated |
fe2b4fcceb7241cc3717dd00342bea509531