PROOF 71
Prove.
Fraction comparison is settled by cross-multiplication
On an ordered field.
Definition D1
b − a means b + (−a).
Proof.
Related labs
PROOF 71
Fraction comparison is settled by cross-multiplication
On an ordered field.
Definition D1
b − a means b + (−a).
Proof.
Related labs