P
Initializing...
Proof of Proposition 2: numerical witness · Prove2Me