OAI/Probability/LogConcave/Dynamics/VariationalField.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.LogConcaveSampling.GlobalODE.variationalField line 13
2. lemma OAI.LogConcaveSampling.GlobalODE.variationalField_smooth line 17
3. lemma OAI.LogConcaveSampling.GlobalODE.truncated_contDiff line 23
4. theorem OAI.LogConcaveSampling.GlobalODE.autonomous_flow_contDiff line 28
5. theorem OAI.LogConcaveSampling.GlobalODE.smooth_flow_left line 141
6. lemma OAI.LogConcaveSampling.GlobalODE.flow_congr line 208
7. theorem OAI.LogConcaveSampling.GlobalODE.smooth_flow line 226