P
Initializing...
Proposition 2 — dom(6_ε) = dom(6) for small ε, and the objectives of (6_ε) converge uniformly to that of (6) · Prove2Me