---

Step * 1 of Lemma assert-equal-upto-finite-nat-seq


1. n : ℤ
2. f : ℕ0 ⟶ ℕ
3. g : ℕ0 ⟶ ℕ
⊢ True ⇐⇒ f = g ∈ (ℕ0 ⟶ ℕ)
BY
{ Auto }

---

Latex:

---

Latex:

1.  n  :  \mBbbZ{}
2.  f  :  \mBbbN{}0  {}\mrightarrow{}  \mBbbN{}
3.  g  :  \mBbbN{}0  {}\mrightarrow{}  \mBbbN{}
\mvdash{}  True  \mLeftarrow{}{}\mRightarrow{}  f  =  g


By

---

Latex:
Auto

---

Home Index