1.3. The future
1.3.1. Fourier analysis
There is currently no support for Fourier analysis on finite (abelian) groups in Mathlib.
1.3.2. Compact groups
There is currently no support for additive combinatorics on compact (abelian) groups in Mathlib.
There is currently no support for Fourier analysis on finite (abelian) groups in Mathlib.
There is currently no support for additive combinatorics on compact (abelian) groups in Mathlib.