P
Initializing...
Theorem 3.1, p. 7 — customization gains at most a factor m, and the order is tight · Prove2Me