key(tab;n) == fst(snd(((snd(snd(tab))) n)))
Definitions :
pi1: fst(t),
apply: f a,
pi2: snd(t)
FDL editor aliases :
st-key
key(tab;n) == fst(snd(((snd(snd(tab))) n)))
Date html generated:
2010_08_27-AM-09_33_57
Last ObjectModification:
2009_12_16-AM-01_14_32
Home
Index