Assumptions:
TeX:
U_{1}\!\left(x\right) = 2 x
x \in \mathbb{C}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| ChebyshevU | Chebyshev polynomial of the second kind | |
| CC | Complex numbers |
Source code for this entry:
Entry(ID("75eacb"),
Formula(Equal(ChebyshevU(1, x), Mul(2, x))),
Variables(x),
Assumptions(Element(x, CC)))