P

Initializing...

§6.2, p. 791 — eliminating $\mu$: $\min_\mu d(\lambda,\mu)=\sigma(\lambda)$ of (47) · Prove2Me