Nuprl Definition : pe-es

pe-es(e) ==  fst(e)


Definitions occuring in Statement :  pi1: fst(t)
FDL editor aliases :  pe-es pe-es
pe-es(e)  ==    fst(e)


Date html generated: 2015_07_17-AM-08_51_34
Last ObjectModification: 2013_03_25-PM-01_51_09

Home Index