Assumptions:
TeX:
\sqrt{{x}^{2}} = \left|x\right|
x \in \mathbb{R}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| Sqrt | Principal square root | |
| Pow | Power | |
| Abs | Absolute value | |
| RR | Real numbers |
Source code for this entry:
Entry(ID("3cc884"),
Formula(Equal(Sqrt(Pow(x, 2)), Abs(x))),
Variables(x),
Assumptions(Element(x, RR)))