HomeTroughMathlib1000+ theoremsAnalysis42 Harmonic analysis on Euclidean spacesContentsStatementsMapContentsLoading the map…Reading 42 Harmonic analysis on Euclidean spaces Parseval's theorem Plancherel theorem Loading dependency explorer… The dependency explorer needs JavaScript and its graph data. Download the complete graph data.