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
bm\_cnt\_prop(m) == snd(bm\_cnt\_prop0(m))
Date html generated:
2015_07_17-AM-08_18_04
Last ObjectModification:
2012_08_21-AM-10_35_41
Home
Index