Nuprl Definition : mobj-kind

mobj-kind(x) ==  fst(x)


Definitions occuring in Statement :  pi1: fst(t)
Definitions occuring in definition :  pi1: fst(t)
FDL editor aliases :  mobj-kind
Latex:
mobj-kind(x)  ==    fst(x)


Date html generated: 2019_06_20-PM-02_15_15
Last ObjectModification: 2019_02_28-PM-02_34_41

Theory : tuples


Home Index