P
Initializing...
Lemma 4.5 — $\|\mathcal S\|<1+\alpha^{-1}$ · Prove2Me