integers « math - knowledge - know.bnewbold.net source code

summary refs log tree commit diff stats

path: root/math/integers

blob: b946ce8723bb8151e9c4cb99af183923e24e0053 (plain)

====================
Integers
====================

definition via Peano's Postulates: meserev 1-4