Nuprl Definition : rtermMinus

rtermMinus(num) ==  <"Minus", num>


Definitions occuring in Statement :  pair: <a, b>,  token: "$token"
Definitions occuring in definition :  pair: <a, b>,  token: "$token"
FDL editor aliases :  rtermMinus
Latex:
rtermMinus(num)  ==    <"Minus",  num>


Date html generated: 2019_10_29-AM-09_26_52
Last ObjectModification: 2019_03_31-PM-05_17_14

Theory : reals


Home Index