OAI/Analysis/CoulombIonization/Ionization/ActualUpperDeficitBarrier.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.localCellRadius_rotate line 23
2. lemma OAI.CoulombAtom.localOffsetMass_rotate line 27
3. theorem OAI.CoulombAtom.actual_upper_deficit line 31
4. def OAI.CoulombAtom.quantumUpperDeficitConstant line 84
5. lemma OAI.CoulombAtom.quantumUpperDeficitConstant_pos line 87
6. lemma OAI.CoulombAtom.pointOnFirstAxis_norm line 92
7. lemma OAI.CoulombAtom.upperDeficit_rescale line 96
8. theorem OAI.CoulombAtom.actual_uniform_upper_deficit line 102