Nuprl Definition : oobright-rval

oobright-rval(x) ==  one_or_both_ind(x;bval.⋅;lval.⋅;rval.rval)


Definitions occuring in Statement :  one_or_both_ind: one_or_both_ind(x;bval.both[bval];lval.left[lval];rval.right[rval]),  it: ⋅
Definitions occuring in definition :  one_or_both_ind: one_or_both_ind(x;bval.both[bval];lval.left[lval];rval.right[rval]),  it: ⋅
FDL editor aliases :  oobright-rval
Latex:
oobright-rval(x)  ==    one\_or\_both\_ind(x;bval.\mcdot{};lval.\mcdot{};rval.rval)


Date html generated: 2016_05_15-PM-05_35_05
Last ObjectModification: 2015_09_23-AM-07_56_30

Theory : general


Home Index