OAI/Analysis/VlasovMaxwell/Continuation/GlobalBoundaryBound.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RVM.freeWave_derivative_bound_horizon line 14
2. lemma OAI.RVM.BoundedSmooth.freeWave_coordinate_jets_horizon line 68
3. lemma OAI.RVM.datumWeightedSphere_smooth_bound_horizon line 104
4. lemma OAI.RVM.electricConeBoundary_datum_jets_horizon line 194
5. lemma OAI.RVM.magneticConeBoundary_datum_jets_horizon line 236
6. lemma OAI.RVM.datum_boundary_global_jets_horizon line 273