---

Step * of Lemma mono_wf

∀[T:Type]. (mono(T) ∈ ℙ)
BY
{ (Auto THEN Unfold `mono` 0 THEN RepeatFor 3 ((MemCD THEN Try (Complete (Auto))))) }

---

Latex:

---

Latex:
\mforall{}[T:Type].  (mono(T)  \mmember{}  \mBbbP{})


By

---

Latex:
(Auto  THEN  Unfold  `mono`  0  THEN  RepeatFor  3  ((MemCD  THEN  Try  (Complete  (Auto)))))

---

Home Index