Nuprl Definition : pe-e

pe-e(p) ==  fst(snd(p))


Definitions occuring in Statement :  pi1: fst(t),  pi2: snd(t)
FDL editor aliases :  pe-e pe-e
pe-e(p)  ==    fst(snd(p))


Date html generated: 2015_07_17-AM-08_51_42
Last ObjectModification: 2013_03_25-PM-01_51_11

Home Index