OAI/Probability/LogConcave/Sampling/SkewCenteringField.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.LogConcaveSampling.compact_slice_left line 13
2. lemma OAI.LogConcaveSampling.compact_slice_right line 23
3. lemma OAI.LogConcaveSampling.compact_derivative_field line 33
4. def OAI.LogConcaveSampling.skewCenteringField line 41
5. theorem OAI.LogConcaveSampling.product_stein_flux line 45