OAI/Analysis/CoulombRadii/Packets/RawMasterNewton.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.NeutralAtom.integrable_packet_coulomb line 15
2. lemma OAI.NeutralAtom.rawPacketPotential_sum line 25
3. theorem OAI.NeutralAtom.rawPacketPotential_near_deficit line 33
4. lemma OAI.NeutralAtom.integrable_rawLaw_of_weight line 48
5. lemma OAI.NeutralAtom.integrable_rawLaw_oneBody line 58
6. lemma OAI.NeutralAtom.fromH1_raw_potential_integral line 66
7. theorem OAI.NeutralAtom.physical_master_near_deficit line 89