OAI/Analysis/CoulombRadii/Packets/BandOscillation.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.NeutralAtom.enlarged_band_near line 13
2. theorem OAI.NeutralAtom.atomic_band_negative_oscillation line 23
3. lemma OAI.NeutralAtom.packetKernel_fixed_amplitude line 85
4. lemma OAI.NeutralAtom.packetKernel_fixed_lipschitz line 96
5. theorem OAI.NeutralAtom.mixture_packet_band_bounds line 116