OAI/Analysis/CoulombRadii/FieldAnalysis/AtomicGapScale.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Coulomb.atomicRefinedFormula line 15
2. lemma OAI.Coulomb.atomicRefinedFormula_mono line 23
3. lemma OAI.Coulomb.atomicRefinedError_eq_formula line 37
4. lemma OAI.Coulomb.atomicRefinedError_small_bound line 40
5. lemma OAI.Coulomb.mul_rpow_monomials line 56
6. lemma OAI.Coulomb.sqrt_rpow_monomial line 59
7. lemma OAI.Coulomb.div_rpow_monomial line 67
8. lemma OAI.Coulomb.atomicRefinedFormula_power_expansion line 70
9. lemma OAI.Coulomb.atomicRefinedFormula_scaled_tendsto line 143
10. lemma OAI.Coulomb.exists_atomic_refined_small_scale line 165