OAI/Analysis/CoulombIonization/RadialBounds/RotationShellBarrier.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. instance OAI.CoulombAtom.rotationMeasureHaar line 16
2. lemma OAI.CoulombAtom.rotation_integral_inverse line 19
3. lemma OAI.CoulombAtom.rotate_inv_rotate line 36
4. lemma OAI.CoulombAtom.rotate_kernel_inverse line 40
5. lemma OAI.CoulombAtom.rotation_kernel_inner line 44
6. theorem OAI.CoulombAtom.rotation_kernel_shell line 59