OAI/Analysis/CoulombIonization/FieldAnalysis/PhysicalGridMeasurable.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CoulombNeumann.physicalGridPressure line 17
2. lemma OAI.CoulombNeumann.physicalGridPressure_nonneg line 20
3. lemma OAI.CoulombNeumann.physicalGridPressure_le line 22
4. lemma OAI.CoulombNeumann.physicalGridCloud_continuous line 26
5. lemma OAI.CoulombNeumann.physicalGridCell_measurable line 38
6. lemma OAI.CoulombNeumann.physicalGridPressure_measurable line 49
7. lemma OAI.CoulombNeumann.physicalGridPressure_fixed_measurable line 54