Nuprl Definition : csm-aux
csm-aux(sm;i) == (fst(snd(snd(snd(sm))))) i
Definitions occuring in Statement :
pi1: fst(t),
pi2: snd(t),
apply: f a
Definitions occuring in definition :
apply: f a,
pi1: fst(t),
pi2: snd(t)
FDL editor aliases :
csm-aux
Latex:
csm-aux(sm;i) == (fst(snd(snd(snd(sm))))) i
Date html generated:
2016_05_15-PM-05_10_47
Last ObjectModification:
2015_09_23-AM-07_52_00
Theory : general
Home
Index