Nuprl Definition : bm_isEmpty
bm_isEmpty(m) == bm_E?(m)
Definitions occuring in Statement :
bm_E?: bm_E?(v)
FDL editor aliases :
bm_isEmpty
Latex:
bm\_isEmpty(m) == bm\_E?(m)
Date html generated:
2016_05_17-PM-01_38_28
Last ObjectModification:
2012_08_20-PM-00_53_48
Theory : binary-map
Home
Index