ATS theorem

theorem on the approximation of a trigonometric sum by a shorter one

Categories: