P
Initializing...
Waldschmidt's bound $\mathcal{D}_L(\mathbb{K}) \le r/2$ · Prove2Me