Nuprl Definition : GameB
GameB(p) ==  let L,R = p in L + R
Definitions occuring in Statement : 
spread: spread def, 
union: left + right
Definitions occuring in definition : 
spread: spread def, 
union: left + right
FDL editor aliases : 
GameB
Latex:
GameB(p)  ==    let  L,R  =  p  in  L  +  R
Date html generated:
2018_05_22-PM-09_52_12
Last ObjectModification:
2018_02_14-PM-10_33_00
Theory : Numbers!and!Games
Home
Index