Nuprl Definition : seq-item

s[i] ==  (snd(s)) i


Definitions occuring in Statement :  pi2: snd(t),  apply: f a
Definitions occuring in definition :  apply: f a,  pi2: snd(t)
FDL editor aliases :  seq-item
Latex:
s[i]  ==    (snd(s))  i


Date html generated: 2018_07_25-PM-01_28_17
Last ObjectModification: 2018_06_11-PM-01_12_11

Theory : arithmetic


Home Index