Nuprl Definition : Play
Play(Pos;a.Mv[a]) == ℕ ⟶ MoveChoice(Pos;a.Mv[a])
Definitions occuring in Statement :
MoveChoice: MoveChoice(Pos;a.Mv[a]),
nat: ℕ,
function: x:A ⟶ B[x]
Definitions occuring in definition :
function: x:A ⟶ B[x],
nat: ℕ,
MoveChoice: MoveChoice(Pos;a.Mv[a])
FDL editor aliases :
Play
Latex:
Play(Pos;a.Mv[a]) == \mBbbN{} {}\mrightarrow{} MoveChoice(Pos;a.Mv[a])
Date html generated:
2016_05_14-PM-03_56_21
Last ObjectModification:
2015_09_22-PM-06_01_52
Theory : spread
Home
Index