Nuprl Definition : prec_sub+
prec_sub+(P;lbl,p.a[lbl; p]) == prec_sub(P;lbl,p.a[lbl; p])+
Definitions occuring in Statement :
prec_sub: prec_sub(P;lbl,p.a[lbl; p])
,
prec: prec(lbl,p.a[lbl; p];i)
,
rel_plus: R+
,
product: x:A × B[x]
Definitions occuring in definition :
rel_plus: R+
,
product: x:A × B[x]
,
prec: prec(lbl,p.a[lbl; p];i)
,
prec_sub: prec_sub(P;lbl,p.a[lbl; p])
FDL editor aliases :
prec_sub+
Latex:
prec\_sub+(P;lbl,p.a[lbl; p]) == prec\_sub(P;lbl,p.a[lbl; p])\msupplus{}
Date html generated:
2019_06_20-PM-02_14_21
Last ObjectModification:
2019_02_23-PM-04_56_00
Theory : tuples
Home
Index