P
Initializing...
Tao’s Fourier identity in smoothed-sum notation · Prove2Me