OAI/Probability/LogConcave/JetEstimates/GadjScalar.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.LogConcaveSampling.JetCalculus.gadj_scalar line 16
2. lemma OAI.LogConcaveSampling.conditionalU_eq_scaled_jet line 29
3. lemma OAI.LogConcaveSampling.conditionalU_smooth_pos line 45
4. lemma OAI.LogConcaveSampling.mean_jet_eq_scaled_U line 54
5. lemma OAI.LogConcaveSampling.dir_mean_jet_eq_scaled_U line 69