Nuprl Definition : bm_cnt_prop
bm_cnt_prop(m) == snd(bm_cnt_prop0(m))
Definitions occuring in Statement :
bm_cnt_prop0: bm_cnt_prop0(m),
pi2: snd(t)
FDL editor aliases :
bm_cnt_prop
Latex:
bm\_cnt\_prop(m) == snd(bm\_cnt\_prop0(m))
Date html generated:
2016_05_17-PM-01_38_13
Last ObjectModification:
2012_08_21-AM-10_35_41
Theory : binary-map
Home
Index