---

Step * of Lemma dl_KS_wf

No Annotations
dl_KS ∈ 𝕌'
BY
{ (Unfold `dl_KS` 0 THEN RecordWf THEN Try (QuickAuto)) }

---

Latex:

---

Latex:
No  Annotations
dl\_KS  \mmember{}  \mBbbU{}'


By

---

Latex:
(Unfold  `dl\_KS`  0  THEN  RecordWf  THEN  Try  (QuickAuto))

---

Home Index