P
Initializing...
Lemma 22: power divided-difference estimate · Prove2Me