OAI/Analysis/CoulombIonization/Fermionic/InfiniteDensity.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CoulombLT.infiniteDensity line 24
2. def OAI.CoulombLT.fourierMoment line 27
3. lemma OAI.CoulombLT.finite_fourierMoment line 30
4. lemma OAI.CoulombLT.infiniteDensity_rpow line 44
5. theorem OAI.CoulombLT.countable_lieb_thirring_lintegral line 56