Nuprl Definition : eq_ds
x = y == dseq(d;a) x y
Definitions occuring in Statement :
dseq: dseq(d;a),
apply: f a
Definitions occuring in definition :
apply: f a,
dseq: dseq(d;a)
FDL editor aliases :
eq_ds
Latex:
x = y == dseq(d;a) x y
Date html generated:
2016_05_14-PM-03_24_22
Last ObjectModification:
2015_09_22-PM-05_59_38
Theory : decidable!equality
Home
Index