Nuprl Definition : GameA

GameA{i:l}() ==  Type × Type


Definitions occuring in Statement :  product: x:A × B[x],  universe: Type
Definitions occuring in definition :  product: x:A × B[x],  universe: Type
FDL editor aliases :  GameA
Latex:
GameA\{i:l\}()  ==    Type  \mtimes{}  Type


Date html generated: 2018_05_22-PM-09_52_10
Last ObjectModification: 2018_02_14-PM-10_32_02

Theory : Numbers!and!Games


Home Index