OAI/Analysis/VlasovMaxwell/Maxwell/ElectricBoundaryField.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.RVM.cross_add_right line 35
  2. def OAI.RVM.electricBoundaryField line 38
  3. def OAI.RVM.magneticBoundaryField line 41
  4. lemma OAI.RVM.classical_electric_physical_vector line 44
  5. lemma OAI.RVM.classical_magnetic_physical_vector line 56
  6. def OAI.RVM.boundaryLorentzForce line 68
  7. lemma OAI.RVM.classical_physical_force_representation line 71
  8. def OAI.RVM.datumBoundarySolution line 92
  9. lemma OAI.RVM.electricConeBoundary_initial_congr line 95
  10. lemma OAI.RVM.magneticConeBoundary_initial_congr line 113
  11. lemma OAI.RVM.classical_electricConeBoundary_datum line 131
  12. lemma OAI.RVM.classical_magneticConeBoundary_datum line 137
  13. def OAI.RVM.forceTransportKernel line 143
  14. def OAI.RVM.forceSourceKernel line 146
  15. lemma OAI.RVM.physical_force_kernel line 149
  16. lemma OAI.RVM.forceTransportKernel_bound line 165
  17. lemma OAI.RVM.forceSourceKernel_bound line 174
  18. lemma OAI.RVM.transverse_forceSourceKernel_bound line 185