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