Nuprl Definition : mobj-label

mobj-label(x) ==  prec-label(mobj-data(x))


Definitions occuring in Statement :  mobj-data: mobj-data(x),  prec-label: prec-label(x)
Definitions occuring in definition :  prec-label: prec-label(x),  mobj-data: mobj-data(x)
FDL editor aliases :  mobj-label
Latex:
mobj-label(x)  ==    prec-label(mobj-data(x))


Date html generated: 2019_06_20-PM-02_15_26
Last ObjectModification: 2019_02_28-PM-03_33_39

Theory : tuples


Home Index