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