Nuprl Definition : test-bar-1
test-bar-1(x) == snd(x).0
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-bar-1
Latex:
test-bar-1(x) == snd(x).0
Date html generated:
2019_10_15-AM-10_50_28
Last ObjectModification:
2019_03_25-PM-01_45_12
Theory : tree_1
Home
Index