Nuprl Definition : oob-hasleft
oob-hasleft(x) == oobleft?(x) ∨boobboth?(x)
Definitions occuring in Statement :
oobleft?: oobleft?(x)
,
oobboth?: oobboth?(x)
,
bor: p ∨bq
Definitions occuring in definition :
bor: p ∨bq
,
oobleft?: oobleft?(x)
,
oobboth?: oobboth?(x)
FDL editor aliases :
oob-hasleft
Latex:
oob-hasleft(x) == oobleft?(x) \mvee{}\msubb{}oobboth?(x)
Date html generated:
2016_05_15-PM-05_35_25
Last ObjectModification:
2015_09_23-AM-07_56_40
Theory : general
Home
Index