P
Initializing...
Perturbation terms bound (Chen–Li Lemma 4.8, exact rank, corrected constants) · Prove2Me