]>
matita.cs.unibo.it Git - helm.git/blobdiff - matita/matita/contribs/lambdadelta/bin/recomm/rGroundArith.mrc
NAT-INJECTION
SUCCESSOR
PREDECESSOR
+RIGHT ADDITION
ADDITION
SUBTRACTION
LEFT SUBTRACTION
-MAXIMUM, MAXIMUN
+MAXIMUM
ORDER
STRICT ORDER
ARITHMETICAL PROPERTIES