Step * of Lemma poly-deriv-linear

n:ℕ. ∀a,b:ℕ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`` THEN nRNorm 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