Theorem ModularFormClass.continuous

Modification history

2025-09-23 06:31

Mathlib/NumberTheory/ModularForms/Basic.lean

feat(NumberTheory/ModularForms): integrand for Petersson product (#29640) …

Added ModularFormClass.continuous View on Github →