---

Step * of Lemma conjugate_wf

∀[n:ℕ]. ∀[f,g:ℕn →⟶ ℕn].  (conjugate(f;g) ∈ ℕn →⟶ ℕn)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[n:\mBbbN{}].  \mforall{}[f,g:\mBbbN{}n  \mrightarrow{}{}\mrightarrow{}  \mBbbN{}n].    (conjugate(f;g)  \mmember{}  \mBbbN{}n  \mrightarrow{}{}\mrightarrow{}  \mBbbN{}n)


By

---

Latex:
ProveWfLemma

---

Home Index