thm:nonnegative-real-has-unique-square-root-2026a
Let a∈Ra\in\mathbb{R}a∈R satisfy 0≤a0\le a0≤a. Then there exists a unique real number r∈Rr\in\mathbb{R}r∈R such that 0≤r0\le r0≤r and r2=ar^2=ar2=a.
Loading...
Loading…
Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.
No relations recorded yet.
Log in to comment.