P
Initializing...
Tao Theorem 5.1, Type II half, with the constant its proof supports · Prove2Me