shiftU_runs (KIL2: the Lemma 10 controlled shift with unit coefficient `u = ±c` (`2 ≤ c ≤ 20`)

Initializing...

shiftU_runs (KIL2: the Lemma 10 controlled shift with unit coefficient `u = ±c` (`2 ≤ c ≤ 20`) · Prove2Me