Theorem UpperHalfPlane.eq_zero_of_frequently

Modification history

2025-12-07 16:03
Mathlib/Analysis/Complex/UpperHalfPlane/Manifold.lean
feat(ModularForms): norm and trace maps (#32460) …
Added UpperHalfPlane.eq_zero_of_frequentlyView on Github →