---

Step * of Lemma consensus-state4-subtype

∀[A:Id List]. ∀[V1,V2:Type].  ConsensusState ⊆r ConsensusState supposing V1 ⊆r V2
BY
{ (Unfold `consensus-state4` 0 THEN Auto) }

---

Latex:


\mforall{}[A:Id  List].  \mforall{}[V1,V2:Type].    ConsensusState  \msubseteq{}r  ConsensusState  supposing  V1  \msubseteq{}r  V2


By

(Unfold  `consensus-state4`  0  THEN  Auto)

---

Home Index