OAI/Analysis/VlasovMaxwell/Regularity/CurvatureInterpolation.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RVM.CurvatureBound.taylor line 15
2. lemma OAI.RVM.fderiv_bound_of_curvature line 59
3. lemma OAI.RVM.fderiv_difference_bound_of_curvature line 82
4. lemma OAI.RVM.uniform_spatial_derivative_limit line 92
5. lemma OAI.RVM.contDiff_fderiv_slice line 145
6. lemma OAI.RVM.smooth_spatial_limit_nat line 157