Nuprl Definition : rat-nat-div

rat-nat-div(x;n) ==  let a,b in eval b' in <a, b'>



Definitions occuring in Statement :  callbyvalue: callbyvalue spread: spread def pair: <a, b> multiply: m
Definitions occuring in definition :  spread: spread def callbyvalue: callbyvalue multiply: 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