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:
2019_06_20-PM-00_51_59
Last ObjectModification:
2019_01_02-PM-01_31_52
Theory : co-recursion-2
Home
Index