Nuprl Definition : test-Obj
test-Obj() ==  mobj(test-Spec())
Definitions occuring in Statement : 
test-Spec: test-Spec()
, 
mobj: mobj(L)
Definitions occuring in definition : 
mobj: mobj(L)
, 
test-Spec: test-Spec()
FDL editor aliases : 
test-Obj
Latex:
test-Obj()  ==    mobj(test-Spec())
Date html generated:
2019_10_15-AM-10_48_00
Last ObjectModification:
2019_03_25-PM-01_43_18
Theory : tree_1
Home
Index