OAI/Analysis/CoulombRadii/Packets/OriginalPotentialTower.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.NeutralAtom.rawPacketPotential_uniform line 13
2. lemma OAI.NeutralAtom.measurable_rawPacketPotential line 38
3. lemma OAI.NeutralAtom.integrable_rawPacketPotential line 47
4. theorem OAI.NeutralAtom.mixturePacketPotential line 56
5. theorem OAI.NeutralAtom.conditionalPacketPotential_eq_condExp line 81
6. theorem OAI.NeutralAtom.conditionalPacketPotential_event_tower line 98
7. theorem OAI.NeutralAtom.physical_observation_potential_tower line 115