Nuprl Definition : Game0
0 == {[] | []}
Definitions occuring in Statement :
mk-Game: {L | R},
nil: []
Definitions occuring in definition :
mk-Game: {L | R},
nil: []
FDL editor aliases :
Game0
Latex:
0 == \{[] | []\}
Date html generated:
2018_05_22-PM-09_52_49
Last ObjectModification:
2018_02_14-PM-09_49_48
Theory : Numbers!and!Games
Home
Index