OAI/Probability/LogConcave/Sampling/ConditionalSlotEmbedding.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.LogConcaveSampling.conditionalSlotEmbedding line 23
2. theorem OAI.LogConcaveSampling.conditional_cumulant_energy line 32
3. def OAI.LogConcaveSampling.conditionalU line 62
4. lemma OAI.LogConcaveSampling.conditionalFieldMean_jet_U line 69
5. theorem OAI.LogConcaveSampling.conditional_jet_cumulant_energy line 80
6. lemma OAI.LogConcaveSampling.normalized_energy_factor line 105
7. theorem OAI.LogConcaveSampling.conditional_normalized_tensor_energy line 117