OAI/Analysis/CoulombIonization/RadialBounds/LocalFermionDensityBarrier.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CoulombLT.fermion_local_density line 19
2. lemma OAI.CoulombAtom.Pauli.square_weight_integrable line 113
3. lemma OAI.CoulombAtom.Pauli.coordinateWeightedTrace_form line 121
4. lemma OAI.CoulombAtom.Pauli.coordinateWeightedTrace_square_form line 144
5. lemma OAI.CoulombAtom.Pauli.coordinateWeightedTrace_square_mass line 153
6. lemma OAI.CoulombAtom.Pauli.coordinateWeightedTrace_square_gradient line 162