Square root function

Summary

The square root function sends a nonnegative real number to the unique nonnegative number whose square it is. It is the inverse of $t \mapsto t^2$ on $[0, \infty)$. The node square root function gives the precise definition.