---

inning_vote() ==  p.(snd(p))

---

Definitions :  lambda: x.A[x],  pi2: snd(t)
FDL editor aliases :  inning_vote

---

inning\_vote()  ==    \mlambda{}p.(snd(p))


Date html generated: 2010_08_27-PM-08_31_18
Last ObjectModification: 2010_06_24-AM-12_00_22

Home Index