More numbers

We saw the truth about $\mathbb{N}$. The next natural evolution in human understanding of numbers are the integers $\mathbb{Z}$.

What are the integers precisely in terms of the natural numbers and how can we working them?

Table of contents

• The definition
• Lean's Int
• Mod m
• Groups