Proof

(related to Proposition: Order Relation for Real Numbers is Strict and Total)

We first show that the order relation for real numbers "$ < `$" is a trichotomy.

Now, we show the transitivity.


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs