P
Initializing...
Corollary 3.3 (corrected): periodic case via Herglotz's theorem · Prove2Me