Nuprl Definition : bm_wt
bm_wt(i) == i + i + i
Definitions occuring in Statement :
add: n + m
FDL editor aliases :
bm_wt
Latex:
bm\_wt(i) == i + i + i
Date html generated:
2016_05_17-PM-01_36_49
Last ObjectModification:
2012_08_20-PM-11_51_47
Theory : binary-map
Home
Index