Nuprl Definition : bm_isEmpty
bm_isEmpty(m) == bm_E?(m)
Definitions occuring in Statement :
bm_E?: bm_E?(v)
FDL editor aliases :
bm_isEmpty
bm\_isEmpty(m) == bm\_E?(m)
Date html generated:
2015_07_17-AM-08_18_25
Last ObjectModification:
2012_08_20-PM-00_53_48
Home
Index