OAI/Analysis/VlasovMaxwell/Population/RelativeClosedBinHitGeometry.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RVM.relative_closed_bin_hit_geometry line 37
2. lemma OAI.RVM.PhaseFlowOn.relative_closed_bin_cell_data line 78
3. lemma OAI.RVM.PhaseFlowOn.relative_closed_bin_cell_crude line 162
4. lemma OAI.RVM.selectedSourceCells_card line 190
5. lemma OAI.RVM.PhaseFlowOn.relative_closed_bin_stable line 224
6. lemma OAI.RVM.PhaseFlowOn.relative_closedEulerian_stable line 298
7. lemma OAI.RVM.PhaseFlowOn.relative_closedEulerian_baseline line 337