---

Step * of Lemma dma-hom_wf

No Annotations
∀[dma1:DeMorganAlgebra]. ∀dma2:DeMorganAlgebra. (dma-hom(dma1;dma2) ∈ Type)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
No  Annotations
\mforall{}[dma1:DeMorganAlgebra].  \mforall{}dma2:DeMorganAlgebra.  (dma-hom(dma1;dma2)  \mmember{}  Type)


By

---

Latex:
ProveWfLemma

---

Home Index