P
Initializing...
$v_\lambda(f,H) \to v(f,H)$ as $\lambda \uparrow 1$ · Prove2Me