PROOF 93

Prove.

a^(1/2) is √a

On the positive reals.

Definition D1

For a > 0, √a denotes the x with x² = a and x > 0.

Proof.

Related labs