Commit 2025-12-08 11:36 eebe762f

View on Github →

chore(Analysis/Distribution): add a simp and generalize a lemma (#32565) The simp lemma is parallel to norm_fourier_toL2_eq below in the same file.

Estimated changes