OAI/Analysis/VlasovMaxwell/Retarded/GeneralDirectRadial.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RVM.relativeRepresentative_source_angle line 14
2. lemma OAI.RVM.cone_relative_bin_small line 31
3. lemma OAI.RVM.small_good_balance_scalar line 41
4. lemma OAI.RVM.small_magnetic_balance_scalar line 75
5. lemma OAI.RVM.general_good_large_balance line 107
6. lemma OAI.RVM.Admissible.direct_source_general_large_sum line 130
7. lemma OAI.RVM.Admissible.direct_source_small_short_sum line 214
8. lemma OAI.RVM.small_deficit_short_source_coefficient line 325
9. lemma OAI.RVM.Admissible.direct_source_small_deficit_short_sum line 390
10. lemma OAI.RVM.small_stability_sqrt_coarse line 425
11. lemma OAI.RVM.Admissible.direct_source_small_all_radii line 446
12. lemma OAI.RVM.relativeRepresentative_nonempty_geometry line 617
13. lemma OAI.RVM.physicalDirectSource_integral_geometry_zero line 632
14. lemma OAI.RVM.Admissible.direct_source_all_radii line 648