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