P

Initializing...

Waldschmidt's bound $\mathcal{D}_L(\mathbb{K}) \le r/2$ for unit rank $r \ge 3$ · Prove2Me