OAI/Analysis/CoulombIonization/FormDomain/PhysicalGrid.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombNeumann.rotationIsometry_inv line 19
2. lemma OAI.CoulombNeumann.flatRotation_symm_coordinates line 22
3. lemma OAI.CoulombNeumann.physicalGridPressure_eq line 31
4. lemma OAI.CoulombNeumann.physicalGridPressure_value_integrable line 47
5. def OAI.CoulombAtom.formDensity line 61
6. lemma OAI.CoulombAtom.formDensity_nonneg line 62
7. lemma OAI.CoulombAtom.SobolevFermion.formDensity_integrable line 64
8. lemma OAI.CoulombAtom.SobolevFermion.integral_formDensity line 66
9. theorem OAI.CoulombAtom.SobolevFermion.neumann_physical_grid line 70