OAI/Analysis/VlasovMaxwell/Geometry/DensitySecondMoment.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RVM.density_second_moment line 32
2. lemma OAI.RVM.lintegral_product_bound_two line 47
3. lemma OAI.RVM.good_field_bin_bound line 57
4. lemma OAI.RVM.geometric_min_summable_bound line 77
5. lemma OAI.RVM.geometric_min_shift_bound line 111
6. lemma OAI.RVM.dyadic_balance_at line 130
7. lemma OAI.RVM.dyadic_balance line 172