P
Initializing...
Lemma 12 as a uniform item-language program (oracle: the uniform Prop. 11 code) · Prove2Me