OAI/Analysis/CoulombIonization/Localization/PacketDensityRadius.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.packetDensity_radius line 144
2. lemma OAI.CoulombAtom.rotationPacket_kernel_integrable line 151
3. theorem OAI.CoulombAtom.rotation_kernel_newton line 172
4. lemma OAI.CoulombAtom.rotation_kernel_integrable line 197