rotP computes the Lemma 10 controlled shift, given the offset table offs Λ c A p (p < vol A) on stack 14

Initializing...

rotP computes the Lemma 10 controlled shift, given the offset table offs Λ c A p (p < vol A) on stack 14 · Prove2Me