OAI/Analysis/Triangular/Schwartz/FourierPair.lean

GitHub source file

21 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.AtomicTriangular.Construction.h_pos line 12
2. lemma OAI.AtomicTriangular.Construction.H_pos line 13
3. def OAI.AtomicTriangular.Construction.transformedInput line 15
4. def OAI.AtomicTriangular.Construction.outputComplex line 18
5. lemma OAI.AtomicTriangular.Construction.integrable_spectral line 20
6. lemma OAI.AtomicTriangular.Construction.inputComplex_spectral line 24
7. lemma OAI.AtomicTriangular.Construction.fourier_inputComplex line 29
8. lemma OAI.AtomicTriangular.Construction.coe_complexInputSchwartz line 39
9. lemma OAI.AtomicTriangular.Construction.coe_fourier_input line 41
10. lemma OAI.AtomicTriangular.Construction.outputComplex_real line 44
11. lemma OAI.AtomicTriangular.Construction.inputComplex_radial line 47
12. lemma OAI.AtomicTriangular.Construction.outputComplex_radial line 49
13. lemma OAI.AtomicTriangular.Construction.fourier_outputComplex line 51
14. def OAI.AtomicTriangular.Construction.pairComplex line 60
15. def OAI.AtomicTriangular.Construction.pairSchwartz line 61
16. lemma OAI.AtomicTriangular.Construction.pairSchwartz_apply line 63
17. lemma OAI.AtomicTriangular.Construction.pairComplex_real line 67
18. lemma OAI.AtomicTriangular.Construction.pairComplex_eq line 69
19. lemma OAI.AtomicTriangular.Construction.fourier_pairComplex line 73
20. lemma OAI.AtomicTriangular.Construction.pairSchwartz_radial line 87
21. lemma OAI.AtomicTriangular.Construction.pairSchwartz_fourier line 91