OAI/Analysis/IrrationalRotation/Sampling/ScalarSamplingEstimates.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Invariant233.ScalarSampling.all_kernel_estimates line 13
2. theorem OAI.Invariant233.ScalarSampling.all_marginal_estimates line 17
3. theorem OAI.Invariant233.ScalarSampling.kernel_and_marginal_estimates line 21
4. theorem OAI.Invariant233.ScalarSampling.parameter_kernel_eq_manuscript line 24
5. theorem OAI.Invariant233.ScalarSampling.parameter_orientedKernel_eq line 32
6. theorem OAI.Invariant233.ScalarSampling.parameter_samplingAverage_eq line 41