OAI/Probability/SKSupport/Foundations/StepData.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.ZeroTemperatureSK.FiniteVerification.StepData line 25
2. def OAI.ZeroTemperatureSK.FiniteVerification.cellHeat_stepData line 48
3. def OAI.ZeroTemperatureSK.FiniteVerification.profit line 95
4. def OAI.ZeroTemperatureSK.FiniteVerification.objectives line 100
5. lemma OAI.ZeroTemperatureSK.FiniteVerification.objectives_nonempty line 106
6. lemma OAI.ZeroTemperatureSK.FiniteVerification.profit_refinement line 110
7. def OAI.ZeroTemperatureSK.FiniteVerification.StepData.refine line 130
8. lemma OAI.ZeroTemperatureSK.FiniteVerification.StepData.mesh_upper line 161
9. lemma OAI.ZeroTemperatureSK.FiniteVerification.StepData.mesh_lower line 187
10. lemma OAI.ZeroTemperatureSK.FiniteVerification.refinement_endpoint line 210
11. lemma OAI.ZeroTemperatureSK.FiniteVerification.StepData.control_upper line 216
12. lemma OAI.ZeroTemperatureSK.FiniteVerification.StepData.control_lower line 243
13. theorem OAI.ZeroTemperatureSK.FiniteVerification.cascade_eq_control_sup line 267