P
Initializing...
Section 7, second case — a point of $\mathcal H$ with $\alpha_{\hat x}=1$ equals $(P_{S_{\hat x}},R_{S_{\hat x}})$ · Prove2Me