OAI/Analysis/VlasovMaxwell/Regularity/LowBoundaryControl.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RVM.coordinate_bounds_of_low_jets line 16
2. lemma OAI.RVM.iterated_lipschitz_of_bound line 47
3. lemma OAI.RVM.spatial_lipschitz_of_low_jets line 54
4. lemma OAI.RVM.freeWave_coordinate_bound_of_low_jets line 100
5. lemma OAI.RVM.freeWave_coordinate_lipschitz_of_low_jets line 138
6. lemma OAI.RVM.family_datum_moment_bounds line 202
7. lemma OAI.RVM.family_datum_moment_lipschitz line 216
8. lemma OAI.RVM.family_datumElectricFlux_bound line 232
9. lemma OAI.RVM.family_datumMagneticFlux_bound line 244
10. lemma OAI.RVM.family_datum_sphere_flux_lipschitz line 256
11. lemma OAI.RVM.family_electricConeBoundary_datum_bound_global line 289
12. lemma OAI.RVM.family_electricConeBoundary_datum_lipschitz line 341
13. lemma OAI.RVM.family_magneticConeBoundary_datum_bound_global line 381
14. lemma OAI.RVM.family_magneticConeBoundary_datum_lipschitz line 440