Nuprl Definition : dseq

dseq(d;a) ==  (snd(d)) a


Definitions occuring in Statement :  pi2: snd(t),  apply: f a
Definitions occuring in definition :  apply: f a,  pi2: snd(t)
FDL editor aliases :  dseq
Latex:
dseq(d;a)  ==    (snd(d))  a


Date html generated: 2016_05_14-PM-03_24_19
Last ObjectModification: 2015_09_22-PM-05_59_38

Theory : decidable!equality


Home Index