OAI/Analysis/CoulombIonization/FieldAnalysis/PressureWeak.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CoulombNeumann.pressure_weak_of_smooth line 21
2. def OAI.CoulombNeumann.rotatedGridPressure line 88
3. lemma OAI.CoulombNeumann.rotatedGridPressure_nonneg line 92
4. lemma OAI.CoulombNeumann.rotatedGridPressure_bound line 95
5. lemma OAI.CoulombNeumann.rotatedGridPressure_measurable line 99
6. lemma OAI.CoulombNeumann.rotatedGridPressure_integrable line 103
7. theorem OAI.CoulombNeumann.neumann_rotated_smooth_component line 111
8. theorem OAI.CoulombNeumann.neumann_rotated_weak line 136