PROOF 95

Prove.

√a is fixed as the nonnegative one

On the real numbers ℝ.

Definition D1

For a > 0, √a denotes an x satisfying x² = a.

Proof.

Related labs