Nuprl Definition : test-xx-2
test-xx-2(x) ==  snd(x).1
Definitions occuring in Statement : 
select-tuple: x.n
, 
pi2: snd(t)
, 
natural_number: $n
Definitions occuring in definition : 
select-tuple: x.n
, 
pi2: snd(t)
, 
natural_number: $n
FDL editor aliases : 
test-xx-2
Latex:
test-xx-2(x)  ==    snd(x).1
Date html generated:
2019_10_15-AM-10_50_40
Last ObjectModification:
2019_03_25-PM-01_45_21
Theory : tree_1
Home
Index