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