---

Step * 1 of Lemma rminimum-shift


1. k : ℤ
2. n : ℤ
3. m : ℤ
4. x : Top
5. n ≤ m
6. N : ℤ
⊢ x[n] ~ x[(n - k) + k]
BY
{ Auto }

---

Latex:

---

Latex:

1.  k  :  \mBbbZ{}
2.  n  :  \mBbbZ{}
3.  m  :  \mBbbZ{}
4.  x  :  Top
5.  n  \mleq{}  m
6.  N  :  \mBbbZ{}
\mvdash{}  x[n]  \msim{}  x[(n  -  k)  +  k]


By

---

Latex:
Auto

---

Home Index