Nuprl Definition : st-key

key(tab;n) ==  fst(snd(((snd(snd(tab))) n)))


Definitions occuring in Statement :  pi1: fst(t),  pi2: snd(t),  apply: f a
FDL editor aliases :  st-key st-key
Latex:
key(tab;n)  ==    fst(snd(((snd(snd(tab)))  n)))


Date html generated: 2016_05_16-AM-10_00_19
Last ObjectModification: 2013_03_25-PM-01_53_04

Theory : new!event-ordering


Home Index