OAI/Analysis/CoulombIonization/Localization/CoherentPackets.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CoulombAtom.coherentPacket line 16
2. def OAI.CoulombAtom.coherentOverlap line 19
3. lemma OAI.CoulombAtom.coherentPacket_norm line 22
4. lemma OAI.CoulombAtom.coherentPacket_smooth line 26
5. lemma OAI.CoulombAtom.coherentPacket_compact line 31
6. lemma OAI.CoulombAtom.coherentOverlap_fourier line 35
7. lemma OAI.CoulombAtom.coherentOverlap_plancherel line 51
8. lemma OAI.CoulombAtom.coherentOverlap_momentum line 63