OAI/Probability/LogConcave/Dynamics/SmoothFlowJoint.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.LogConcaveSampling.GlobalODE.smooth_flow_joint line 13
2. lemma OAI.LogConcaveSampling.GlobalODE.spaceTimeForward_smooth line 118
3. lemma OAI.LogConcaveSampling.GlobalODE.spaceTimeBackward_smooth line 125
4. lemma OAI.LogConcaveSampling.GlobalODE.backward_flow_smooth line 145
5. lemma OAI.LogConcaveSampling.GlobalODE.flow_restrict line 170