Nuprl Definition : oobleft

oobleft(lval) ==  inr (inl lval) 


Definitions occuring in Statement :  inr: inr x ,  inl: inl x
Definitions occuring in definition :  inr: inr x ,  inl: inl x
FDL editor aliases :  oobleft
Latex:
oobleft(lval)  ==    inr  (inl  lval) 


Date html generated: 2016_05_15-PM-05_31_40
Last ObjectModification: 2015_09_23-AM-07_55_20

Theory : general


Home Index