P
Initializing...
Proposition 7 — $\inf_{(\lambda,\varphi)\in\Lambda(S_\pi\times S_\pi)}J(\lambda,\varphi)\le I$ · Prove2Me