Nuprl Definition : oobright

oobright(rval) ==  inr inr rval  


Definitions occuring in Statement :  inr: inr x 
Definitions occuring in definition :  inr: inr x 
FDL editor aliases :  oobright
Latex:
oobright(rval)  ==    inr  inr  rval   


Date html generated: 2016_05_15-PM-05_32_03
Last ObjectModification: 2015_09_23-AM-07_55_31

Theory : general


Home Index