Nuprl Definition : outr
outr(x) ==  case x of inl(y) => ⊥ | inr(z) => z
Definitions occuring in Statement : 
decide: case b of inl(x) => s[x] | inr(y) => t[y]
Definitions occuring in definition : 
decide: case b of inl(x) => s[x] | inr(y) => t[y]
Rules referencing : 
isinrCases
FDL editor aliases : 
outr
Latex:
outr(x)  ==    case  x  of  inl(y)  =>  \mbot{}  |  inr(z)  =>  z
Date html generated:
2016_05_13-PM-03_20_23
Last ObjectModification:
2015_09_22-PM-05_44_32
Theory : union
Home
Index