Nuprl Definition : test-label

test-label(d) ==  mobj-label(d)


Definitions occuring in Statement :  mobj-label: mobj-label(x)
Definitions occuring in definition :  mobj-label: mobj-label(x)
FDL editor aliases :  test-label
Latex:
test-label(d)  ==    mobj-label(d)


Date html generated: 2019_10_15-AM-10_49_17
Last ObjectModification: 2019_03_25-PM-01_44_17

Theory : tree_1


Home Index