Nuprl Definition : dsdeq

dsdeq(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 :  dsdeq
Latex:
dsdeq(d;a)  ==    (snd(d))  a


Date html generated: 2016_05_14-PM-03_24_17
Last ObjectModification: 2015_09_22-PM-05_59_37

Theory : decidable!equality


Home Index