OAI/Analysis/VlasovMaxwell/Maxwell/FiniteFlow.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RVM.exists_bounded_picard_flow line 27
2. def OAI.RVM.cutVariationalField line 64
3. lemma OAI.RVM.contDiff_cutVariationalField line 69
4. lemma OAI.RVM.cutVariationalField_bounded line 76
5. lemma OAI.RVM.exists_finite_variational_flow line 95
6. lemma OAI.RVM.hasFDerivAt_finite_variational_flow line 169
7. lemma OAI.RVM.flow_injOn_of_finite_ode line 229
8. lemma OAI.RVM.exists_finite_volume_flow line 253
9. lemma OAI.RVM.exists_bounded_volume_flow line 278