Nuprl Definition : radd*
x + y == λa,b. (a + b)*(x;y)
Definitions occuring in Statement :
rfun*2: f*(x;y),
radd: a + b,
lambda: λx.A[x]
Definitions occuring in definition :
rfun*2: f*(x;y),
lambda: λx.A[x],
radd: a + b
FDL editor aliases :
radd*
Latex:
x + y == \mlambda{}a,b. (a + b)*(x;y)
Date html generated:
2018_05_22-PM-03_15_54
Last ObjectModification:
2017_10_06-PM-02_34_24
Theory : reals_2
Home
Index