OAI/Analysis/VlasovMaxwell/Population/DatumElectricFluxKernel.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.RVM.datum_velocity_support line 33
  2. lemma OAI.RVM.datum_integrand_continuousOn line 40
  3. lemma OAI.RVM.continuousOn_datum_velocity_integral line 49
  4. lemma OAI.RVM.uniform_datum_velocity_integral_bound line 60
  5. def OAI.RVM.datumElectricFluxKernel line 83
  6. def OAI.RVM.datumMagneticFluxKernel line 86
  7. lemma OAI.RVM.continuousOn_datumElectricFluxKernel line 89
  8. lemma OAI.RVM.continuousOn_datumMagneticFluxKernel line 102
  9. lemma OAI.RVM.datumElectricFlux_eq line 116
  10. lemma OAI.RVM.datumMagneticFlux_eq line 128
  11. lemma OAI.RVM.uniform_datumElectricFlux_bound line 140
  12. lemma OAI.RVM.uniform_datumMagneticFlux_bound line 153