Nuprl Definition : qmin

qmin(x;y) ==  if q_le(x;y) then x else y 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 :  qmin
Latex:
qmin(x;y)  ==    if  q\_le(x;y)  then  x  else  y  fi 


Date html generated: 2016_05_15-PM-10_43_11
Last ObjectModification: 2015_09_23-AM-08_27_13

Theory : rationals


Home Index