Nuprl Definition : int-rdiv
(a)/k1 == eval k = k1 in λn.((a n) ÷ k)
Definitions occuring in Statement :
callbyvalue: callbyvalue,
apply: f a,
lambda: λx.A[x],
divide: n ÷ m
FDL editor aliases :
int-rdiv
Latex:
(a)/k1 == eval k = k1 in \mlambda{}n.((a n) \mdiv{} k)
Date html generated:
2020_05_20-AM-10_54_46
Last ObjectModification:
2019_12_26-PM-08_35_01
Theory : reals
Home
Index