P
Initializing...
Extrapolation from the vanishing grid (Waldschmidt 1973, Lemma 5) · Prove2Me