OAI/Analysis/CoulombRadii/RadialBounds/InteriorBarrier.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.NeutralAtom.second_deriv_general_quadratic_rpow line 13
2. def OAI.NeutralAtom.interiorBump line 40
3. lemma OAI.NeutralAtom.interiorBump_eq_div line 43
4. lemma OAI.NeutralAtom.coordinateLaplacian_interiorBump line 48
5. lemma OAI.NeutralAtom.contDiffOn_interiorBump line 74
6. lemma OAI.NeutralAtom.coordinateLaplacian_interiorBump_le line 82
7. lemma OAI.NeutralAtom.weighted_reaction_bound line 97
8. theorem OAI.NeutralAtom.weak_power_interior_upper line 114