Fungrim home page

Fungrim entry: bceb84

zeros⁡ z∈Cez={}\mathop{\operatorname{zeros}\,}\limits_{z \in \mathbb{C}} {e}^{z} = \left\{\right\}
TeX:
\mathop{\operatorname{zeros}\,}\limits_{z \in \mathbb{C}} {e}^{z} = \left\{\right\}
Definitions:
Fungrim symbol Notation Short description
Expez{e}^{z} Exponential function
CCC\mathbb{C} Complex numbers
Source code for this entry:
Entry(ID("bceb84"),
    Formula(Equal(Zeros(Exp(z), z, Element(z, CC)), Set())))

Topics using this entry

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2019-06-18 07:49:59.356594 UTC