Nuprl Definition : qmax

qmax(x;y) ==  if q_le(x;y) then y else x fi 


Definitions occuring in Statement :  q_le: q_le(r;s),  ifthenelse: if b then t else f fi 
Definitions occuring in definition :  ifthenelse: if b then t else f fi ,  q_le: q_le(r;s)
FDL editor aliases :  qmax
Latex:
qmax(x;y)  ==    if  q\_le(x;y)  then  y  else  x  fi 


Date html generated: 2016_05_15-PM-10_42_57
Last ObjectModification: 2015_09_23-AM-08_27_10

Theory : rationals


Home Index