---

Step * of Lemma preima_of_rel_wf

∀A,B:Type. ∀f:A ⟶ B. ∀R:B ⟶ B ⟶ ℙ.  (R_f ∈ A ⟶ A ⟶ ℙ)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}A,B:Type.  \mforall{}f:A  {}\mrightarrow{}  B.  \mforall{}R:B  {}\mrightarrow{}  B  {}\mrightarrow{}  \mBbbP{}.    (R\_f  \mmember{}  A  {}\mrightarrow{}  A  {}\mrightarrow{}  \mBbbP{})


By

---

Latex:
ProveWfLemma

---

Home Index