OAI/MathematicalPhysics/RapidForcing/JetControl.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.RapidForcing.JetControl line 9
2. lemma OAI.RapidForcing.JetControl.nonneg line 21
3. lemma OAI.RapidForcing.JetControl.add line 27
4. lemma OAI.RapidForcing.JetControl.sub line 40
5. lemma OAI.RapidForcing.JetControl.zero line 53
6. lemma OAI.RapidForcing.JetControl.sum line 58
7. lemma OAI.RapidForcing.JetControl.const_smul line 68
8. lemma OAI.RapidForcing.JetControl.postcomp line 79
9. lemma OAI.RapidForcing.JetControl.direction_bound line 87
10. lemma OAI.RapidForcing.JetControl.spatialD line 97
11. lemma OAI.RapidForcing.JetControl.timeD line 114
12. lemma OAI.RapidForcing.JetControl.spatialD_iterate line 130
13. lemma OAI.RapidForcing.JetControl.timeD_iterate line 137
14. lemma OAI.RapidForcing.JetControl.mixedD line 144
15. lemma OAI.RapidForcing.JetControl.mixed_bound line 149
16. lemma OAI.RapidForcing.JetControl.smul line 166
17. def OAI.RapidForcing.forceJetBound line 195
18. lemma OAI.RapidForcing.addressedVelocity_jetControl line 200
19. lemma OAI.RapidForcing.addressedForce_jetControl line 205