OAI/Analysis/CoulombIonization/Fermionic/Density.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CoulombAtom.Pauli.density line 23
2. lemma OAI.CoulombAtom.Pauli.density_nonneg line 26
3. lemma OAI.CoulombAtom.Pauli.density_integrable line 29
4. lemma OAI.CoulombAtom.Pauli.density_mass line 32
5. lemma OAI.CoulombAtom.Pauli.density_power_integrable line 37
6. lemma OAI.CoulombAtom.Pauli.density_power_bound line 47
7. lemma OAI.CoulombAtom.Pauli.toMany_coordinate_lintegral line 63
8. lemma OAI.CoulombAtom.Pauli.density_coulomb_lintegral line 91
9. lemma OAI.CoulombAtom.Pauli.density_coulomb_integral line 125