Proof 0 < 1 in an ordered field

Printable View