---

Step * of Lemma int_consensus_test_wf

∀[s:𝔹 × ℤ × Id List × ℤ List × ℤ]. (int_consensus_test(s) ∈ ℤ × ℤ + Top)
BY
{ ProveWfLemma }

---

Latex:


\mforall{}[s:\mBbbB{}  \mtimes{}  \mBbbZ{}  \mtimes{}  Id  List  \mtimes{}  \mBbbZ{}  List  \mtimes{}  \mBbbZ{}].  (int\_consensus\_test(s)  \mmember{}  \mBbbZ{}  \mtimes{}  \mBbbZ{}  +  Top)


By

ProveWfLemma

---

Home Index