OAI/Analysis/VlasovMaxwell/Retarded/PhysicalElectricKernel.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.RVM.physicalElectricKernel line 32
  2. def OAI.RVM.potentialSourceRate line 36
  3. def OAI.RVM.potentialSpaceRate line 40
  4. def OAI.RVM.potentialVectorTimeRate line 44
  5. lemma OAI.RVM.potential_kernel_component line 48
  6. lemma OAI.RVM.physical_kernel_signed_transform line 57
  7. lemma OAI.RVM.hasDerivAt_potential_source line 70
  8. lemma OAI.RVM.hasDerivAt_label_scalar_potential line 83
  9. def OAI.RVM.potentialSpatialGradient line 100
  10. lemma OAI.RVM.dot_potentialSpatialGradient line 104
  11. lemma OAI.RVM.potential_magnetic_kernel line 109
  12. lemma OAI.RVM.IncrementBootstrap.reflect line 127
  13. lemma OAI.RVM.IncrementBootstrap.velocity_stopped_backward line 141
  14. lemma OAI.RVM.stopping_modulus_mono line 162
  15. lemma OAI.RVM.IncrementBootstrap.velocity_stopped_about line 173