---

is-vote-from-inning(i) ==  m.((isl(m))  (fst(outr(m)) = i))

---

Definitions :  lambda: x.A[x],  band: p  q,  bnot: b,  isl: isl(x),  eq_int: (i = j),  pi1: fst(t),  outr: outr(x)
FDL editor aliases :  is-vote-from-inning

---

is-vote-from-inning(i)  ==    \mlambda{}m.((\mneg{}\msubb{}isl(m))  \mwedge{}\msubb{}  (fst(outr(m))  =\msubz{}  i))


Date html generated: 2010_08_27-PM-08_30_40
Last ObjectModification: 2010_06_23-PM-11_57_33

Home Index