summaryrefslogtreecommitdiffstats
path: root/math/integers
blob: b946ce8723bb8151e9c4cb99af183923e24e0053 (plain)
1
2
3
4
5
====================
Integers
====================

definition via Peano's Postulates: meserev 1-4