OAI/Analysis/VlasovMaxwell/Maxwell/WaveK.lean

GitHub source file

22 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.RVM.continuous_sphereSum line 29
  2. lemma OAI.RVM.sphereSum_radial_darboux_zero line 34
  3. lemma OAI.RVM.sphereSum_radial_wave_zero line 58
  4. lemma OAI.RVM.sphereSum_spatialPartial line 79
  5. lemma OAI.RVM.contDiff_spatialPartial line 106
  6. lemma OAI.RVM.gradient_apply line 110
  7. lemma OAI.RVM.laplace_eq_sum line 116
  8. lemma OAI.RVM.sphereSum_sum line 120
  9. lemma OAI.RVM.sphereSum_spatial_laplace line 130
  10. lemma OAI.RVM.spatialPartial_translate line 154
  11. lemma OAI.RVM.laplace_translate line 164
  12. lemma OAI.RVM.sphereSum_radial_wave line 176
  13. lemma OAI.RVM.spatialPartial_const_mul line 192
  14. lemma OAI.RVM.laplace_const_mul line 199
  15. lemma OAI.RVM.contDiff_laplace line 210
  16. lemma OAI.RVM.sphere_area line 216
  17. def OAI.RVM.waveK line 223
  18. lemma OAI.RVM.contDiff_waveK line 226
  19. lemma OAI.RVM.waveK_zero line 229
  20. lemma OAI.RVM.waveK_initial_velocity line 231
  21. lemma OAI.RVM.waveK_equation_pos line 241
  22. lemma OAI.RVM.waveK_equation line 258