OAI/Analysis/VlasovMaxwell/Population/LabelWeight.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.RVM.labelWeight line 37
2. def OAI.RVM.selectedLabelSignedForce line 41
3. def OAI.RVM.selectedLabelCosts line 45
4. lemma OAI.RVM.PhaseFlowOn.labelWeight_measurable line 51
5. lemma OAI.RVM.PhaseFlowOn.labelWeight_bound line 57
6. lemma OAI.RVM.PhaseFlowOn.selectedLabelSignedForce_integrable line 65
7. lemma OAI.RVM.PhaseFlowOn.selectedLabelCosts_integrable line 75
8. lemma OAI.RVM.initialSignedBoundary_velocity_lintegral_bound line 97
9. lemma OAI.RVM.initialSignedBoundary_lintegral_bound line 126