Comment by hyperthesis

Thanks, I'll take a look at those late chapters.

The algebra is my main interest, that happens to be in a calculus text.

0a = 0 is proven later in ch 1, it's just the ordering.

By "something I could code", I mean implementimg these properties (more like writing a proof assistant).