Siegel's lemma builds the auxiliary function from presentations whose degree in ω grows with T·a

Initializing...

Siegel's lemma builds the auxiliary function from presentations whose degree in ω grows with T·a · Prove2Me