succ(0) + succ(0) = succ(succ(0)) ?
Défini succ, 0, = et l'utilisation des parenthèse et on en reparle. (On m'a toujours dit que les maths devaient être rigoureuses !)
Retrospring uses Markdown for formatting
*italic text* for italic text
*italic text*
**bold text** for bold text
**bold text**
[link](https://example.com) for link
[link](https://example.com)
