Lemma 10 shift with coefficient u = -k⁻¹ (2 ≤ k ≤ 20, k prime to Q), IL program · Prove2Me

P

Initializing...

Lemma 10 shift with coefficient u = -k⁻¹ (2 ≤ k ≤ 20, k prime to Q), IL program · Prove2Me