Nuprl Definition : oobboth

oobboth(bval) ==  inl bval


Definitions occuring in Statement :  inl: inl x
Definitions occuring in definition :  inl: inl x
FDL editor aliases :  oobboth
Latex:
oobboth(bval)  ==    inl  bval


Date html generated: 2016_05_15-PM-05_31_22
Last ObjectModification: 2015_09_23-AM-07_55_12

Theory : general


Home Index