OAI/Probability/SKSupport/Control/ControlledGrid.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ZeroTemperatureSK.WeakIto.progressive_stepDrift_measurable line 17
2. def OAI.ZeroTemperatureSK.WeakIto.controlledGrid line 36
3. lemma OAI.ZeroTemperatureSK.WeakIto.controlledGrid_adapted line 43
4. lemma OAI.ZeroTemperatureSK.WeakIto.controlledGrid_integrable line 62
5. lemma OAI.ZeroTemperatureSK.WeakIto.variable_grid_verification_upper line 75