Nuprl Definition : mdata-type

mdata-type(mdata) ==  fst(mdata)


Definitions occuring in Statement :  pi1: fst(t)
FDL editor aliases :  mdata-type
Latex:
mdata-type(mdata)  ==    fst(mdata)


Date html generated: 2015_07_21-PM-04_48_01
Last ObjectModification: 2013_02_16-AM-00_10_42

Home Index