P
Initializing...
Lemma 12 on w-bit integer arrays · Prove2Me