Nuprl Definition : bm_T-cnt

bm_T-cnt(v) ==  fst(snd(snd(snd(v))))



Definitions occuring in Statement :  pi1: fst(t) pi2: snd(t)
FDL editor aliases :  bm_T-cnt
bm\_T-cnt(v)  ==    fst(snd(snd(snd(v))))



Date html generated: 2015_07_17-AM-08_17_47
Last ObjectModification: 2014_04_30-AM-11_05_45

Home Index