OAI/Probability/SKSupport/Control/GridApprox.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ZeroTemperatureSK.finiteCoeff_cell line 14
2. lemma OAI.ZeroTemperatureSK.finiteCoeff_intervalIntegrable line 30
3. lemma OAI.ZeroTemperatureSK.finiteCoeff_remaining_cell line 39
4. lemma OAI.ZeroTemperatureSK.finiteCoeff_nonneg line 61
5. lemma OAI.ZeroTemperatureSK.finiteCoeff_sample line 66
6. lemma OAI.ZeroTemperatureSK.gridError_remaining line 105
7. lemma OAI.ZeroTemperatureSK.gridError_remaining_le line 131
8. lemma OAI.ZeroTemperatureSK.cascadeV_value_error line 142
9. theorem OAI.ZeroTemperatureSK.finiteValue_control_error line 185