A sufficient integer linear system for the auxiliary function (Waldschmidt 1973, Lemma 4)

Initializing...

A sufficient integer linear system for the auxiliary function (Waldschmidt 1973, Lemma 4) · Prove2Me