OAI/Analysis/VlasovMaxwell/Population/BulkReceiverScalar.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RVM.receiver_bin_ratio line 14
2. lemma OAI.RVM.unprojected_receiver_bin_cost line 27
3. lemma OAI.RVM.PhaseFlowOn.bulkReceiver_pointwise line 60
4. lemma OAI.RVM.PhaseFlowOn.bulkReceiver_bin_integral line 102
5. lemma OAI.RVM.PhaseFlowOn.bulkReceiver_selected_sum line 144
6. lemma OAI.RVM.Admissible.bulk_receiver_uniform line 187