OAI/Analysis/VlasovMaxwell/Retarded/ElectricConeBoundary.lean

GitHub source file

21 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.RVM.tendsto_right_of_continuousOn_Icc line 37
  2. lemma OAI.RVM.RegularParticle.rho_continuous_slab line 46
  3. lemma OAI.RVM.RegularParticle.current_continuous_slab line 53
  4. lemma OAI.RVM.continuousOn_cone_boundary_comp line 58
  5. def OAI.RVM.electricConeBoundary line 67
  6. def OAI.RVM.magneticConeBoundary line 75
  7. lemma OAI.RVM.continuousOn_electricConeBoundary line 83
  8. lemma OAI.RVM.continuousOn_magneticConeBoundary line 109
  9. lemma OAI.RVM.classical_electric_physical_representation line 131
  10. lemma OAI.RVM.classical_magnetic_physical_representation line 153
  11. lemma OAI.RVM.transport_retarded_electric_integral_identity line 184
  12. lemma OAI.RVM.transport_retarded_magnetic_integral_identity line 225
  13. lemma OAI.RVM.transport_retarded_electric_moment_identity line 272
  14. lemma OAI.RVM.transport_retarded_magnetic_moment_identity line 308
  15. lemma OAI.RVM.electricMomentDensity_transport line 354
  16. lemma OAI.RVM.magneticMomentDensity_transport line 376
  17. lemma OAI.RVM.divergence_ball_singular_closed_outer line 395
  18. lemma OAI.RVM.integrated_electricMomentDensity_transport line 420
  19. lemma OAI.RVM.integrated_magneticMomentDensity_transport line 467
  20. lemma OAI.RVM.mixed_electric_physical_representation line 510
  21. lemma OAI.RVM.mixed_magnetic_physical_representation line 535