P
Initializing...
Siegel's lemma for the auxiliary function, and why its coefficients are non-zero · Prove2Me