Nuprl Definition : test-kind
test-kind(d) == mobj-kind(d)
Definitions occuring in Statement :
mobj-kind: mobj-kind(x)
Definitions occuring in definition :
mobj-kind: mobj-kind(x)
FDL editor aliases :
test-kind
Latex:
test-kind(d) == mobj-kind(d)
Date html generated:
2019_10_15-AM-10_49_13
Last ObjectModification:
2019_03_25-PM-01_44_14
Theory : tree_1
Home
Index