P
Initializing...
Lemma 12 (arbitrary-width interchange), array model, parametric in the Prop. 11 oracle · Prove2Me