Step
*
of Lemma
strong-continuity-test-sp_wf
∀[M:n:ℕ ⟶ (ℕn ⟶ ℕ) ⟶ (ℕ?)]. ∀[n:ℕ]. ∀[f:ℕn ⟶ ℕ]. ∀[k:ℕ]. (strong-continuity-test-sp(M;n;f;k) ∈ ℕ?)
BY
{ (UnivCD THENA Auto) }
1
1. M : n:ℕ ⟶ (ℕn ⟶ ℕ) ⟶ (ℕ?)
2. n : ℕ
3. f : ℕn ⟶ ℕ
4. k : ℕ
⊢ strong-continuity-test-sp(M;n;f;k) ∈ ℕ?
Latex:
Latex:
\mforall{}[M:n:\mBbbN{} {}\mrightarrow{} (\mBbbN{}n {}\mrightarrow{} \mBbbN{}) {}\mrightarrow{} (\mBbbN{}?)]. \mforall{}[n:\mBbbN{}]. \mforall{}[f:\mBbbN{}n {}\mrightarrow{} \mBbbN{}]. \mforall{}[k:\mBbbN{}].
(strong-continuity-test-sp(M;n;f;k) \mmember{} \mBbbN{}?)
By
Latex:
(UnivCD THENA Auto)
Home
Index