OAI/Analysis/CoulombIonization/RadialBounds/BandInverseNumericsBarrier.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.CoulombAtom.InverseFiniteGeometry line 19
2. def OAI.CoulombAtom.quantumInverseCountConstant line 34
3. lemma OAI.CoulombAtom.quantumInverseCountConstant_pos line 36
4. lemma OAI.CoulombAtom.quantumInverseCountConstant_square line 41
5. lemma OAI.CoulombAtom.inverse_count_margin_eventually line 46
6. theorem OAI.CoulombAtom.band_inverse_numerics_eventually line 66
7. theorem OAI.CoulombAtom.TailTiltState.local_count_failure line 129