Step
*
of Lemma
poly-deriv-linear
∀n:ℕ. ∀a,b:ℕn + 1 ⟶ ℝ. ∀c,d:ℝ. ∀i:ℕn.
  ((poly-deriv(λi.((c * (a i)) + (d * (b i)))) i) = ((c * (poly-deriv(a) i)) + (d * (poly-deriv(b) i))))
BY
{ (Auto THEN RepUR ``poly-deriv`` 0 THEN nRNorm 0 THEN Auto) }
Latex:
Latex:
\mforall{}n:\mBbbN{}.  \mforall{}a,b:\mBbbN{}n  +  1  {}\mrightarrow{}  \mBbbR{}.  \mforall{}c,d:\mBbbR{}.  \mforall{}i:\mBbbN{}n.
    ((poly-deriv(\mlambda{}i.((c  *  (a  i))  +  (d  *  (b  i))))  i)
    =  ((c  *  (poly-deriv(a)  i))  +  (d  *  (poly-deriv(b)  i))))
By
Latex:
(Auto  THEN  RepUR  ``poly-deriv``  0  THEN  nRNorm  0  THEN  Auto)
Home
Index