Skip to content

feat(Foundations/Combinatorics/BooleanFunctions): Fourier expansion, Plancherel, and Parseval#596

Open
SamuelSchlesinger wants to merge 1 commit into
leanprover:mainfrom
SamuelSchlesinger:samuelschlesinger/analysis-of-boolean-functions
Open

feat(Foundations/Combinatorics/BooleanFunctions): Fourier expansion, Plancherel, and Parseval#596
SamuelSchlesinger wants to merge 1 commit into
leanprover:mainfrom
SamuelSchlesinger:samuelschlesinger/analysis-of-boolean-functions

Commits

Commits on May 23, 2026