OAI/Analysis/CoulombIonization/FieldAnalysis/ShellBiasField.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.shellInnerField_le_closed line 15
2. lemma OAI.CoulombAtom.closedShellField_density_integrable line 22
3. lemma OAI.CoulombAtom.shellInnerIntegral_le_biasPair line 35
4. lemma OAI.CoulombAtom.shellBias_normalized_excess line 57