Nuprl Definition : oobboth-bval

oobboth-bval(x) ==  one_or_both_ind(x;bval.bval;lval.⋅;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 :  oobboth-bval
Latex:
oobboth-bval(x)  ==    one\_or\_both\_ind(x;bval.bval;lval.\mcdot{};rval.\mcdot{})


Date html generated: 2016_05_15-PM-05_33_45
Last ObjectModification: 2015_09_23-AM-07_55_58

Theory : general


Home Index