P
Initializing...
Iterated isolated-minimum completions along $a+(2^i-1)(b-a)$ · Prove2Me