---

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

---

Definitions :  pi1: fst(t),  pi2: snd(t)
FDL editor aliases :  pe-e

---

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


Date html generated: 2010_08_27-AM-09_31_08
Last ObjectModification: 2009_12_16-AM-01_07_08

Home Index