Nuprl Definition : dsdeq

dsdeq(d;a) ==  (snd(d)) a



Definitions occuring in Statement :  pi2: snd(t) apply: a
Definitions occuring in definition :  apply: 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