Nuprl Definition : mobj-tuple
mobj-tuple(x) == prec-tuple(mobj-data(x))
Definitions occuring in Statement :
mobj-data: mobj-data(x)
,
prec-tuple: prec-tuple(x)
Definitions occuring in definition :
prec-tuple: prec-tuple(x)
,
mobj-data: mobj-data(x)
FDL editor aliases :
mobj-tuple
Latex:
mobj-tuple(x) == prec-tuple(mobj-data(x))
Date html generated:
2019_06_20-PM-02_15_31
Last ObjectModification:
2019_02_28-PM-03_38_41
Theory : tuples
Home
Index