OAI/Analysis/CoulombIonization/FieldAnalysis/NeumannCounts.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.CoulombNeumann.sum_cellCount line 20
  2. lemma OAI.CoulombNeumann.cellCount_le line 28
  3. lemma OAI.CoulombNeumann.sum_cell_boundary line 31
  4. lemma OAI.CoulombNeumann.cellLowerEnergy_bound line 50
  5. lemma OAI.CoulombNeumann.selected_cell_pressure_le line 58
  6. theorem OAI.CoulombNeumann.neumann_cells_pressure_lower line 68
  7. def OAI.CoulombNeumann.cellPressure line 91
  8. lemma OAI.CoulombNeumann.cellPressure_eq line 93
  9. lemma OAI.CoulombNeumann.cellPressure_nonneg line 111
  10. lemma OAI.CoulombNeumann.cellPressure_le line 114
  11. def OAI.CoulombNeumann.pointCell line 125
  12. def OAI.CoulombNeumann.indexCell line 126
  13. lemma OAI.CoulombNeumann.pointCell_measurable line 128
  14. lemma OAI.CoulombNeumann.flatPressure_measurable line 135
  15. lemma OAI.CoulombNeumann.pointCell_of_mem_floorCube line 138
  16. lemma OAI.CoulombNeumann.flatPressure_integrable line 143
  17. lemma OAI.CoulombNeumann.integral_floorCube_pressure line 150