Skip to content

feat(Analysis/Fourier): the Plancherel theorem for the Clifford-Fourier transform#41922

Open
junjihashimoto wants to merge 5 commits into
leanprover-community:masterfrom
junjihashimoto:clifford-plancherel
Open

feat(Analysis/Fourier): the Plancherel theorem for the Clifford-Fourier transform#41922
junjihashimoto wants to merge 5 commits into
leanprover-community:masterfrom
junjihashimoto:clifford-plancherel