OAI/Analysis/VlasovMaxwell/Population/SelectedRemainder.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RVM.bulkSelection_derivative_selected_cover line 17
2. lemma OAI.RVM.PhaseFlowOn.bulkCutoffTriangle_selected_support line 31
3. lemma OAI.RVM.selectedConeTriangle_nonzero_data line 44
4. lemma OAI.RVM.bulkSelection_cutoff_physical_cover line 66
5. lemma OAI.RVM.PhaseFlowOn.selectedConeTriangle_physical_nonzero line 77
6. lemma OAI.RVM.PhaseFlowOn.bulkSelectedCone_support line 95
7. lemma OAI.RVM.selectedConeTriangle_contract_norm_le line 107
8. lemma OAI.RVM.PhaseFlowOn.bulkSelectedCone_sum line 120
9. lemma OAI.RVM.velocity_bin_normal_bound line 145
10. lemma OAI.RVM.unprojected_remainder_bin_cost line 151
11. lemma OAI.RVM.unprojected_rate_bin_cost line 176
12. lemma OAI.RVM.PhaseFlowOn.bulkRemainder_pointwise line 201
13. lemma OAI.RVM.PhaseFlowOn.bulkRate_pointwise line 241
14. lemma OAI.RVM.Admissible.bulk_selected_family_uniform line 282