P
Initializing...
Theorem 2.5 — if $M^*$ contains a ball of radius $r$ and $\limsup h_k < 2r$, the method (2.4) terminates · Prove2Me