Nuprl Definition : mrec-lt
x < y == prec_sub+(Atom;lbl,p.mrec-spec(L;lbl;p)) x y
Definitions occuring in Statement :
mrec-spec: mrec-spec(L;lbl;p),
prec_sub+: prec_sub+(P;lbl,p.a[lbl; p]),
apply: f a,
atom: Atom
Definitions occuring in definition :
apply: f a,
prec_sub+: prec_sub+(P;lbl,p.a[lbl; p]),
atom: Atom,
mrec-spec: mrec-spec(L;lbl;p)
FDL editor aliases :
mrec-lt
Latex:
x < y == prec\_sub+(Atom;lbl,p.mrec-spec(L;lbl;p)) x y
Date html generated:
2019_06_20-PM-02_15_41
Last ObjectModification:
2019_02_24-PM-01_05_35
Theory : tuples
Home
Index