Thakur's hypotheses on power sums of \mathbb{F}_q[t]
AI use, as the source states it
“We provide Lean formalizations of the arguments in this paper, generated by AxiomProver.”
Model: AxiomProver, as stated
Named here, or see a mistake? Write to privacy@papex.org.