Nuprl Definition : rat-nat-div
rat-nat-div(x;n) ==  let a,b = x in eval b' = n * b in <a, b'>
Definitions occuring in Statement : 
callbyvalue: callbyvalue, 
spread: spread def, 
pair: <a, b>
, 
multiply: n * m
Definitions occuring in definition : 
spread: spread def, 
callbyvalue: callbyvalue, 
multiply: n * m
, 
pair: <a, b>
FDL editor aliases : 
rat-nat-div
Latex:
rat-nat-div(x;n)  ==    let  a,b  =  x  in  eval  b'  =  n  *  b  in  <a,  b'>
Date html generated:
2019_10_30-AM-09_26_25
Last ObjectModification:
2019_01_10-PM-01_58_43
Theory : reals
Home
Index