OAI/Analysis/CoulombIonization/RadialBounds/LocalArzelaAscoliBarrier.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CoulombAnalysis.local_arzela_ascoli line 17
2. theorem OAI.CoulombAnalysis.equicontinuous_of_local_lipschitz line 54
3. theorem OAI.CoulombAnalysis.local_lipschitz_arzela_ascoli line 73
4. lemma OAI.CoulombAnalysis.nonnegative_density_restrict_integrable line 123
5. lemma OAI.CoulombAnalysis.nonnegative_density_restrict_mass line 130
6. theorem OAI.CoulombAnalysis.punctured_poisson_normal_family line 140