show · cmf.dimension_mathlib_def all knowls · up · search:

This is defined as finrank ℂ (ModularForm Γ k) in mathlib, where ModularForm $\Gamma$ $k$ is the space of modular forms and finrank ℂ gives its module rank over $\mathbb{C}$.

Authors:
Knowl status:
  • Review status: beta
  • Last edited by Jane Shi on 2026-08-04 20:39:44
Referred to by:

Not referenced anywhere at the moment.

History: (expand/hide all)