The mathlib definition petersson defines only the integrand of the Petersson scalar product. Mathlib uses the conjugate of the first argument, whereas the LMFDB definition uses the conjugate of the second argument.
Authors:
Knowl status:
- Review status: beta
- Last edited by Jane Shi on 2026-07-21 20:20:37
Referred to by:
History:
(expand/hide all)
Differences
(show/hide)
Not referenced anywhere at the moment.