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
Latex:
binary-map(T;Key) == \{m:binary\_map(T;Key)| \muparrow{}bm\_cnt\_prop(m)\}
Date html generated:
2016_05_17-PM-01_38_20
Last ObjectModification:
2012_08_21-AM-10_08_17
Theory : binary-map
Home
Index