ThmDex – An index of mathematical definitions, results, and conjectures.
F6281
Formulation 0
Let $\mathbb{I}$ be the D370: Set of irrational numbers.
Let $p$ be a D571: Prime integer.
Then \begin{equation} \sqrt{p} \in \mathbb{I} \end{equation}