Nuprl Definition : bm_singleton
bm_singleton(x;v) == bm_T(x;v;1;bm_E();bm_E())
Definitions occuring in Statement :
bm_T: bm_T(key;value;cnt;left;right)
,
bm_E: bm_E()
,
natural_number: $n
FDL editor aliases :
bm_singleton
bm\_singleton(x;v) == bm\_T(x;v;1;bm\_E();bm\_E())
Date html generated:
2015_07_17-AM-08_19_18
Last ObjectModification:
2012_08_23-AM-09_59_58
Home
Index