OAI/Analysis/VlasovMaxwell/Flow/ClosedEulerianTimeBudget.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RVM.PhaseFlowOn.closedEulerian_time_budget line 38
2. lemma OAI.RVM.PhaseFlowOn.closedEulerian_angular_time_budget line 69
3. lemma OAI.RVM.Admissible.direct_source_time_budget line 94
4. lemma OAI.RVM.cone_relative_deficit_triangle line 140
5. lemma OAI.RVM.cone_relative_bin_triangle line 171
6. lemma OAI.RVM.cone_relative_bin_separated line 182
7. lemma OAI.RVM.cone_relative_bin_upper line 192
8. lemma OAI.RVM.cappedRepresentative_factor_eight line 204
9. lemma OAI.RVM.cappedRepresentative_factor_eight_card line 218
10. lemma OAI.RVM.physical_relative_separated_index line 233
11. lemma OAI.RVM.capped_positive_power_sum line 245
12. lemma OAI.RVM.large_radius_magnetic_coefficient line 284
13. lemma OAI.RVM.large_radius_magnetic_balance line 310