Skip to content

feat(Analysis/Fourier): the Plancherel theorem for hypercomplex Fourier transforms#41921

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

feat(Analysis/Fourier): the Plancherel theorem for hypercomplex Fourier transforms#41921
junjihashimoto wants to merge 5 commits into
leanprover-community:masterfrom
junjihashimoto:cayley-dickson-plancherel