ThmDex – An index of mathematical definitions, results, and conjectures.

ThmDex – An index of mathematical definitions, results, and conjectures.

Formulation F9870 on R4273: Absolute value function preserves zero

F9870

Formulation 0

Let $x \mapsto |x|$ be the D412: Absolute value function.

Then \begin{equation} |0| = 0 \end{equation}