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