OAI/Analysis/VlasovMaxwell/Maxwell/Variational.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RVM.taylor_bound_lipschitz_derivative line 21
2. lemma OAI.RVM.variational_remainder_bound line 36
3. lemma OAI.RVM.hasFDerivAt_of_quadratic_bound line 69
4. lemma OAI.RVM.picard_flow_with_range line 94
5. def OAI.RVM.variationalField line 137
6. lemma OAI.RVM.contDiff_variationalField line 141
7. lemma OAI.RVM.exists_local_variational_flow line 146