OAI/Analysis/CoulombIonization/RadialBounds/LocalCountGapBarrier.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CoulombAnalysis.countPlateau line 16
2. lemma OAI.CoulombAnalysis.countPlateau_nonneg line 19
3. lemma OAI.CoulombAnalysis.countPlateau_le_one line 22
4. lemma OAI.CoulombAnalysis.countPlateau_one line 25
5. lemma OAI.CoulombAnalysis.countPlateau_support line 30
6. lemma OAI.CoulombAnalysis.countPlateau_lipschitz line 38
7. lemma OAI.CoulombAnalysis.countPlateau_mul_integrable line 53
8. lemma OAI.CoulombAnalysis.countPlateau_mass_lower line 62
9. lemma OAI.CoulombAnalysis.countPlateau_mass_upper line 75
10. theorem OAI.CoulombAnalysis.local_mass_sq_le_gap line 102