---

Step * of Lemma rsc4_vote'base_nlp

Cmd:ValueAllType. NormalLProgrammable'(    Cmd  Id;rsc4_vote'base(Cmd))
BY
{ RepeatFor 2 MaAuto }

---

\mforall{}Cmd:ValueAllType.  NormalLProgrammable'(\mBbbZ{}  \mtimes{}  \mBbbZ{}  \mtimes{}  Cmd  \mtimes{}  Id;rsc4\_vote'base(Cmd))


By

---

RepeatFor  2  MaAuto



Home Index