OAI/Analysis/CoulombRadii/Packets/InverseErrorScale.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.NeutralAtom.exists_uniform_inner_scale line 14
2. def OAI.NeutralAtom.inverseResponseError line 26
3. lemma OAI.NeutralAtom.inverseResponseError_majorizes line 31
4. lemma OAI.NeutralAtom.inverseResponseError_expansion line 42
5. lemma OAI.NeutralAtom.inverseResponseError_scaled_tendsto line 80
6. lemma OAI.NeutralAtom.lower_width_div_pow line 94
7. def OAI.NeutralAtom.inverseHighMeanError line 105
8. lemma OAI.NeutralAtom.inverseHighMeanError_bound line 108
9. lemma OAI.NeutralAtom.inverseHighMeanError_uniform line 148