OAI/Analysis/VlasovMaxwell/Retarded/ProjectedSourceStableFarBound.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RVM.Admissible.projected_source_stable_far_bound line 40
2. lemma OAI.RVM.tsum_quad_cutoff_bound line 118
3. lemma OAI.RVM.Admissible.projected_source_stable_far_sum line 145
4. lemma OAI.RVM.Admissible.projected_source_stable_far_log_sum line 240
5. lemma OAI.RVM.Admissible.central_density_baseline_bin line 316
6. lemma OAI.RVM.Admissible.central_density_baseline_radial_sum line 459
7. lemma OAI.RVM.Admissible.central_density_stable_radial_bound line 506
8. lemma OAI.RVM.Admissible.central_density_stable_sum line 581