ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F12486 on D6050: Real square function
F12486
Formulation 0
The real square function is the D4364: Real function \begin{equation} \mathbb{R} \to [0, \infty), \quad x \mapsto x^2 \end{equation}