Theorem MDifferentiable.slash

Modification history

2025-05-10 12:26

Mathlib/NumberTheory/ModularForms/Basic.lean

feat(NumberTheory/ModularForms): GL2+ action is mdifferentiable (#24573) …

Added MDifferentiable.slash View on Github →