P

Initializing...

§3.1, Eq. (10): the coordinating target $T(u)$, admissible iff $u > m + \delta_m(w-c)$ · Prove2Me