OAI/Analysis/CoulombRadii/Propagation/PhysicalInitialPoint.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.NeutralAtom.physical_initial_potential_point line 12
2. lemma OAI.NeutralAtom.mixturePacketDensity_explicit_bound line 85
3. lemma OAI.NeutralAtom.initial_width_modulus_identity line 95
4. def OAI.NeutralAtom.initialPacketModulus line 109
5. lemma OAI.NeutralAtom.initialPacketModulus_tendsto line 112
6. theorem OAI.NeutralAtom.initial_potential_mesh_modulus line 121