(∗) is equivalent to the LP (IRC[$\epsilon,\delta$]) · Prove2Me

P

Initializing...

(∗) is equivalent to the LP (IRC[$\epsilon,\delta$]) · Prove2Me