OAI/Analysis/VlasovMaxwell/Geometry/CollisionLabels.lean

GitHub source file

27 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.RVM.collisionLabels line 31
  2. def OAI.RVM.collisionChart line 34
  3. lemma OAI.RVM.PhaseFlowOn.collision_image line 37
  4. lemma OAI.RVM.PhaseFlowOn.collisionChart_strict line 50
  5. lemma OAI.RVM.dimH_strict_image_le line 62
  6. lemma OAI.RVM.PhaseFlowOn.collision_null line 72
  7. lemma OAI.RVM.PhaseFlowOn.closed_collision_null line 89
  8. lemma OAI.RVM.PhaseFlowOn.position_contDiffOn line 105
  9. def OAI.RVM.branchDomain line 123
  10. def OAI.RVM.branchTime line 126
  11. lemma OAI.RVM.PhaseFlowOn.branch_spec line 131
  12. lemma OAI.RVM.PhaseFlowOn.branch_unique line 142
  13. lemma OAI.RVM.PhaseFlowOn.branch_time_mem line 152
  14. lemma OAI.RVM.PhaseFlowOn.isOpen_branchDomain line 167
  15. lemma OAI.RVM.PhaseFlowOn.branch_differential line 176
  16. lemma OAI.RVM.PhaseFlowOn.branch_strictMono line 211
  17. lemma OAI.RVM.PhaseFlowOn.branch_convex line 226
  18. def OAI.RVM.branchRate line 236
  19. lemma OAI.RVM.PhaseFlowOn.branch_volume_image line 241
  20. lemma OAI.RVM.PhaseFlowOn.branch_duration_bound line 252
  21. lemma OAI.RVM.exists_continuous_scalar_root line 294
  22. def OAI.RVM.jointBranchDomain line 345
  23. lemma OAI.RVM.PhaseFlowOn.joint_position_continuousAt line 348
  24. lemma OAI.RVM.PhaseFlowOn.isOpen_jointBranchDomain line 353
  25. lemma OAI.RVM.PhaseFlowOn.joint_branch_continuousAt line 370
  26. lemma OAI.RVM.PhaseFlowOn.measurable_branch_zero line 428
  27. lemma OAI.RVM.PhaseFlowOn.measurable_joint_flow_zero line 438