Inequalities of natural numbers about book

[mikeshulman]

Yeah, and we need subtraction too, to define Z. I'm not sure what the
right place for this sort of stuff is.

On Thu, Mar 28, 2013 at 9:55 AM, Guillaume Brunerie <
[email protected]> wrote:

Do we define somewhere what k < n means when k and n are natural numbers?
This is needed to state results like pi_k(S^n) is trivial for k < n.

—
Reply to this email directly or view it on GitHubhttps://github.com//issues/46
.

[mikeshulman]

I added inequalties of natural numbers as an example to the PAT section in chapter 1. We could discuss whether that is a good place for it.