OAI/Analysis/CoulombRadii/Localization/CutRefinement.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Coulomb.positive_square_tangent line 14
2. lemma OAI.Coulomb.finite_mass_positive_jensen line 18
3. lemma OAI.Coulomb.labelCut_coreSlice_law line 47
4. lemma OAI.Coulomb.fiber_mass_law line 67
5. lemma OAI.Coulomb.fiber_potential_law line 78
6. theorem OAI.Coulomb.labelCut_conditional_positive_jensen line 92