Nuprl Definition : binary-map
binary-map(T;Key) == {m:binary_map(T;Key)| ↑bm_cnt_prop(m)}
Definitions occuring in Statement :
bm_cnt_prop: bm_cnt_prop(m),
binary_map: binary_map(T;Key),
assert: ↑b,
set: {x:A| B[x]}
FDL editor aliases :
binary-map
binary-map(T;Key) == \{m:binary\_map(T;Key)| \muparrow{}bm\_cnt\_prop(m)\}
Date html generated:
2015_07_17-AM-08_18_08
Last ObjectModification:
2012_08_21-AM-10_08_17
Home
Index