Nuprl Definition : sth-es

sth-es(s) ==  fst(s)


Definitions occuring in Statement :  pi1: fst(t)
FDL editor aliases :  sth-es
Latex:
sth-es(s)  ==    fst(s)


Date html generated: 2015_07_23-PM-00_09_07
Last ObjectModification: 2012_08_30-PM-04_26_47

Home Index