P
Initializing...
Lemma 12 on w-bit integer arrays, any two axes · Prove2Me