Ternary polynomial relations and periods of cusp forms
AI use, as the source states it
“The main theorems and the essential argument are formalized unconditionally in Lean 4 by AxiomProver.”
Model: AxiomProver, as stated
Named here, or see a mistake? Write to privacy@papex.org.