Nuprl Definition : int-rat-mul
int-rat-mul(n;x) == let a,b = x in eval a' = n * a 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 :
int-rat-mul
Latex:
int-rat-mul(n;x) == let a,b = x in eval a' = n * a in <a', b>
Date html generated:
2019_10_30-AM-09_23_16
Last ObjectModification:
2019_01_10-PM-01_50_03
Theory : reals
Home
Index