(z)2=z
Assumptions:z∈C
TeX:
{\left(\sqrt{z}\right)}^{2} = z
z \in \mathbb{C}Definitions:
| Fungrim symbol | Notation | Short description |
|---|
| Pow | ab
| Power |
| Sqrt | z
| Principal square root |
| CC | C
| Complex numbers |
Source code for this entry:
Entry(ID("0984ef"),
Formula(Equal(Pow(Sqrt(z), 2), z)),
Variables(z),
Assumptions(Element(z, CC)))