Theorem cuspFunction_sub

Modification history

2026-04-23 17:52

Mathlib/NumberTheory/ModularForms/QExpansion.lean

feat(NumberTheory/ModularForms/QExpansion): update qExpansion API for more general objects (#36474) …

Deleted cuspFunction_sub View on Github →

2026-02-16 13:52

Mathlib/NumberTheory/ModularForms/QExpansion.lean

feat(NumberTheory/ModularForms/QExpansion): define qExpansion ring hom and some more API (#32959) …

Added cuspFunction_sub View on Github →