Nuprl Definition : test-box?
test-box?(x) == test-label(test-prop-obj(x)) =a "box"
Definitions occuring in Statement :
test-label: test-label(d),
test-prop-obj: test-prop-obj(x),
eq_atom: x =a y,
token: "$token"
Definitions occuring in definition :
eq_atom: x =a y,
test-label: test-label(d),
test-prop-obj: test-prop-obj(x),
token: "$token"
FDL editor aliases :
test-box?
Latex:
test-box?(x) == test-label(test-prop-obj(x)) =a "box"
Date html generated:
2019_10_15-AM-10_49_59
Last ObjectModification:
2019_03_25-PM-01_44_51
Theory : tree_1
Home
Index