Nuprl Definition : mdata-val

mdata-val(mdata) ==  snd(mdata)


Definitions occuring in Statement :  pi2: snd(t)
FDL editor aliases :  mdata-val
Latex:
mdata-val(mdata)  ==    snd(mdata)


Date html generated: 2015_07_21-PM-04_48_02
Last ObjectModification: 2013_02_16-AM-00_11_27

Home Index