---

Step * of Lemma regularExtension

∀a:Set{i:l}. ∃r:Set{i:l}. ((a ⊆ r) ∧ regular(r))
BY
{ (InstLemma `RegularExtension` [] THEN RepeatFor 3 (ParallelLast') THEN EAuto 1) }

---

Latex:

---

Latex:
\mforall{}a:Set\{i:l\}.  \mexists{}r:Set\{i:l\}.  ((a  \msubseteq{}  r)  \mwedge{}  regular(r))


By

---

Latex:
(InstLemma  `RegularExtension`  []  THEN  RepeatFor  3  (ParallelLast')  THEN  EAuto  1)

---

Home Index