P
Initializing...
Lemma 2.1 — $S_0$ and $S_1$ for the nonconvex TRS · Prove2Me