Nuprl Definition : play-item
moves[i] == moves[i]
Definitions occuring in Statement :
seq-item: s[i]
Definitions occuring in definition :
seq-item: s[i]
FDL editor aliases :
play-item
Latex:
moves[i] == moves[i]
Date html generated:
2018_07_25-PM-01_31_21
Last ObjectModification:
2018_06_11-PM-05_34_57
Theory : co-recursion
Home
Index