---

Step * of Lemma Regularcoset-regularset

∀A:coSet{i:l}. (cRegular(A) ⇒ regular(A))
BY
{ (Auto THEN Unfold `Regularcoset` -1 THEN Unfold `regularset` 0 THEN Auto) }

---

Latex:

---

Latex:
\mforall{}A:coSet\{i:l\}.  (cRegular(A)  {}\mRightarrow{}  regular(A))


By

---

Latex:
(Auto  THEN  Unfold  `Regularcoset`  -1  THEN  Unfold  `regularset`  0  THEN  Auto)

---

Home Index