OAI.ThreeTorus.exact_quantile_circle_spectral_estimate: intermediate lemma from OpenAI, A smooth three-torus diffeomorphism with simple Lebesgue spectrum

Initializing...

OAI.ThreeTorus.exact_quantile_circle_spectral_estimate: intermediate lemma from OpenAI, A smooth three-torus diffeomorphism with simple Lebesgue spectrum · Prove2Me