Nuprl Definition : prec_sub
prec_sub(P;lbl,p.a[lbl; p]) == λu,v. let j,x = u in let i,y = v in prec-sub(P;lbl,p.a[lbl; p];j;x;i;y)
Definitions occuring in Statement :
prec-sub: prec-sub(P;lbl,p.a[lbl; p];j;x;i;y),
lambda: λx.A[x],
spread: spread def
Definitions occuring in definition :
lambda: λx.A[x],
spread: spread def,
prec-sub: prec-sub(P;lbl,p.a[lbl; p];j;x;i;y)
FDL editor aliases :
prec_sub
Latex:
prec\_sub(P;lbl,p.a[lbl; p]) ==
\mlambda{}u,v. let j,x = u in let i,y = v in prec-sub(P;lbl,p.a[lbl; p];j;x;i;y)
Date html generated:
2019_06_20-PM-02_05_49
Last ObjectModification:
2019_02_23-PM-04_46_02
Theory : tuples
Home
Index