OAI/Analysis/CoulombRadii/Screening/CoreScreenedField.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Coulomb.boundedDensity_nuclear_integrable line 96
2. lemma OAI.Coulomb.packetDensity_nuclear_integrable line 108
3. lemma OAI.Coulomb.packetDensity_pair_integrable line 116
4. lemma OAI.Coulomb.packetPositive_orthonormal line 129
5. def OAI.Coulomb.coreScreenedField line 137
6. theorem OAI.Coulomb.bounded_packet_core_trial line 140