Step
*
of Lemma
consensus-state1_wf
∀[V:Type]. (consensus-state1(V) ∈ Type)
BY
{ ProveWfLemma }
Latex:
\mforall{}[V:Type].  (consensus-state1(V)  \mmember{}  Type)
By
ProveWfLemma
Home
Index