OAI/Analysis/CoulombRadii/Packets/MasterNewton.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.NeutralAtom.fixed_scaled_window_mass line 16
2. lemma OAI.NeutralAtom.fixed_scaled_window_integrable line 22
3. lemma OAI.NeutralAtom.packet_potential_center_shift line 29
4. theorem OAI.NeutralAtom.packet_potential_newton line 42
5. theorem OAI.NeutralAtom.packet_potential_newton_eq line 65
6. theorem OAI.NeutralAtom.packet_potential_near_deficit line 94