OAI/Analysis/CoulombIonization/FieldAnalysis/RetainedMeasurable.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.CoulombNeumann.retainedSmear_measurable_eval line 20
  2. lemma OAI.CoulombNeumann.retainedPressure_measurable_param line 30
  3. lemma OAI.CoulombNeumann.retainedDirect_measurable_param line 37
  4. def OAI.CoulombNeumann.FlatAntisymmetric line 57
  5. def OAI.CoulombNeumann.shiftedFunction line 61
  6. lemma OAI.CoulombNeumann.shiftedFunction_contDiff line 65
  7. lemma OAI.CoulombNeumann.shiftedFunction_anti line 69
  8. lemma OAI.CoulombNeumann.finiteCubeGradient_value line 91
  9. lemma OAI.CoulombNeumann.shiftedFunction_gradient line 99
  10. theorem OAI.CoulombNeumann.neumann_global_smooth_component line 112