callensxavier/socrateai-fricke-selfdual-etaquotients download history

callensxavier/socrateai-fricke-selfdual-etaquotients is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 131 times (25 in the last 7 days), and 131 times in total. It ranks #94,212 among datasets by monthly downloads.

Fricke-Self-Dual Eta-Quotients Are Eigenforms Machine-checked Lean 4 corollary: if the exponent vector $r$ of the eta-quotient $f(z) = \prod_{\delta\mid N}\eta(\delta z)^{r_\delta}$ satisfies $r_\delta = r_{N/\delta}$ for every $\delta\mid N$ ("Fricke-self-dual"), then $f$ is a genuin

Open callensxavier/socrateai-fricke-selfdual-etaquotients on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.