OAI/Analysis/CoulombIonization/Fermionic/ParticleDensity.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CoulombAtom.Pauli.oneParticleDensity line 24
2. theorem OAI.CoulombAtom.Pauli.form_lieb_thirring line 28
3. lemma OAI.CoulombLT.coordinateDensity_aemeasurable line 58
4. lemma OAI.CoulombLT.fermionDensity_aemeasurable line 68
5. lemma OAI.CoulombLT.coordinate_density_weighted line 72
6. lemma OAI.CoulombLT.density_weighted_lintegral line 113