PROOF 188
Prove.
The rationals are dense yet have gaps
On an ordered field.
Definition D1
The stage is an ordered field.
Proof.
Related labs
PROOF 188
The rationals are dense yet have gaps
On an ordered field.
Definition D1
The stage is an ordered field.
Proof.
Related labs