---

Step * of Lemma dma-neg_wf

No Annotations
∀[dma:DeMorganAlgebraStructure]. ∀[x:Point(dma)].  (¬(x) ∈ Point(dma))
BY
{ (ProveWfLemma THEN DRecord 1 THEN Auto) }

---

Latex:

---

Latex:
No  Annotations
\mforall{}[dma:DeMorganAlgebraStructure].  \mforall{}[x:Point(dma)].    (\mneg{}(x)  \mmember{}  Point(dma))


By

---

Latex:
(ProveWfLemma  THEN  DRecord  1  THEN  Auto)

---

Home Index