OAI/Analysis/VlasovMaxwell/Geometry/CutoffState.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.RVM.selectedDyadicCutoff_eventually line 37
  2. lemma OAI.RVM.contDiffAt_selectedDyadicCutoff line 80
  3. abbrev OAI.RVM.CutoffState line 88
  4. def OAI.RVM.stateCutoff line 90
  5. lemma OAI.RVM.contDiffAt_stateCutoff line 93
  6. lemma OAI.RVM.stateCutoff_closed_regularity line 114
  7. def OAI.RVM.branchCutoffState line 131
  8. def OAI.RVM.branchCutoffStateRate line 135
  9. lemma OAI.RVM.PhaseFlowOn.branchCutoffState_hasDerivAt line 143
  10. lemma OAI.RVM.PhaseFlowOn.momentumForce_continuousOn_closed line 156
  11. lemma OAI.RVM.PhaseFlowOn.branchCutoffState_closed_regularity line 169
  12. def OAI.RVM.branchSelectedRate line 220
  13. lemma OAI.RVM.PhaseFlowOn.actual_selected_closed_regularity line 225
  14. lemma OAI.RVM.PhaseFlowOn.actual_selected_temporal_signed_formula line 240