P

Initializing...

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