]>
matita.cs.unibo.it Git - helm.git/blobdiff - matita/matita/contribs/lambdadelta/bin/recomm/rGroundArith.mrc
ADDITION
SUBTRACTION
LEFT SUBTRACTION
ADDITION
SUBTRACTION
LEFT SUBTRACTION
ORDER
STRICT ORDER
ARITHMETICAL PROPERTIES
ORDER
STRICT ORDER
ARITHMETICAL PROPERTIES