Commit 2026-05-01 08:23 177caf0b

feat(NumberTheory/ModularForms): dimension formula for level one modular forms (#37979) Proves the classical dimension formula for the space of modular forms of level 1 (SL(2, ℤ)) and even weight k: $$\dim M_k(\mathrm{SL}(2,\mathbb{Z})) = \lfloor k/12 \rfloor \text{ if } k \equiv 2 \pmod{12}, \qquad\lfloor k/12 \rfloor + 1 \text{ otherwise.}$$ The work was done as part of the Sphere packing project.