OAI/Analysis/VlasovMaxwell/Flow/BranchCutoffStateContinuous.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RVM.PhaseFlowOn.branchCutoffState_continuousAt line 37
2. lemma OAI.RVM.PhaseFlowOn.joint_momentumForce_continuousAt line 51
3. lemma OAI.RVM.PhaseFlowOn.branchCutoffStateRate_continuousAt line 65
4. lemma OAI.RVM.PhaseFlowOn.branchSelectedRate_measurable line 91
5. lemma OAI.RVM.PhaseFlowOn.selectedCutoff_measurable line 108
6. lemma OAI.RVM.norm_fderiv_velocity_apply_le line 122
7. lemma OAI.RVM.deficit_rate_bound line 129
8. lemma OAI.RVM.physical_cutoff_coarse_rates line 147