OAI/Probability/SKSupport/Diffusion/ExpectedFeedbackStep.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ZeroTemperatureSK.WeakIto.expected_feedback_step line 17
2. lemma OAI.ZeroTemperatureSK.WeakIto.feedback_controlledState_grid line 94
3. lemma OAI.ZeroTemperatureSK.WeakIto.elementary_stepCost line 126
4. lemma OAI.ZeroTemperatureSK.WeakIto.finite_feedback_verification line 138