P
Initializing...
Tao Theorem 5.1, Type I half, as its proof gives it · Prove2Me