---

Step * of Lemma sq_stable__regular-int-seq

∀[k:ℕ+]. ∀[f:ℕ+ ⟶ ℤ].  SqStable(k-regular-seq(f))
BY
{ (Unfold `regular-int-seq` 0 THEN Auto)⋅ }

---

Latex:

---

Latex:
\mforall{}[k:\mBbbN{}\msupplus{}].  \mforall{}[f:\mBbbN{}\msupplus{}  {}\mrightarrow{}  \mBbbZ{}].    SqStable(k-regular-seq(f))


By

---

Latex:
(Unfold  `regular-int-seq`  0  THEN  Auto)\mcdot{}

---

Home Index