Assumptions:
TeX:
\Pi\!\left(1, m\right) = {\tilde \infty}
m \in \mathbb{C}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| EllipticPi | Legendre complete elliptic integral of the third kind | |
| UnsignedInfinity | Unsigned infinity | |
| CC | Complex numbers |
Source code for this entry:
Entry(ID("ce4df4"),
Formula(Equal(EllipticPi(1, m), UnsignedInfinity)),
Variables(m),
Assumptions(Element(m, CC)))