PROOF 14

Prove.

i² = −1 is a definition

On the complex numbers ℂ.

Definition D1

ℂ is the set of all pairs (a, b) of reals, with two operations defined as follows.

Proof.

Related labs