OAI/Analysis/CoulombIonization/Variational/ScaledOriginalCap.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CoulombAtom.actual_scaled_original_cap_eventually line 17
2. lemma OAI.CoulombAtom.scaled_rpow_normalization line 65
3. theorem OAI.CoulombAtom.exists_actual_scaled_original_regularity_constants line 70