OAI/Analysis/VlasovMaxwell/Flow/ClosedEulerianCrudeBudget.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RVM.PhaseFlowOn.closedEulerian_crude_budget line 39
2. lemma OAI.RVM.PhaseFlowOn.stable_jointBudget_entry line 62
3. lemma OAI.RVM.PhaseFlowOn.closedEulerian_baseline_budget line 75
4. lemma OAI.RVM.geometry_radial_balance line 148