OAI/Analysis/CoulombIonization/Variational/SpatialErrorWeight.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.spatial_derivative_square_sum line 91
2. def OAI.CoulombAtom.spatialErrorWeight line 99
3. lemma OAI.CoulombAtom.spatial_derivative_density_integrable line 102
4. lemma OAI.CoulombAtom.spatial_error_weight_integrable line 116
5. theorem OAI.CoulombAtom.spatial_cut_error line 123
6. theorem OAI.CoulombAtom.spatial_cut_ims line 144
7. def OAI.CoulombAtom.weightedParticleCount line 150
8. theorem OAI.CoulombAtom.spatial_cut_error_le line 153