Square root of an integer (source code)

= Square root of an integer
{title2=$\sqrt n,\quad n\in\mathbb Z_{\ge0}$}

= Square roots of integers
{synonym}