Thakur's hypotheses on power sums of F_q[t]

Source: arxiv:2606.16239 Authors: Evan Chen, Kenny Lau, Ken Ono, Jujian Zhang Status: verified Main declarations: ZetaH123.H1.main_theorem, ZetaH123.Lem41.main Tags: number-theory, function-fields, zeta-functions MSC: 11M38, 11T55, 11G09