8 lines
No EOL
237 B
Markdown
8 lines
No EOL
237 B
Markdown
data.nat
|
|
========
|
|
|
|
The natural numbers.
|
|
|
|
* [basic](basic.lean) : the natural numbers, with succ, pred, addition, and multiplication
|
|
* [order](order.lean) : less-than, less-then-or-equal, etc.
|
|
* [sub](sub.lean) : subtraction, and distance |