OAI/Analysis/CoulombIonization/Localization/PacketScaleControl.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.configurationOne_finrank line 16
2. lemma OAI.CoulombAtom.packetDensity_scale line 21
3. lemma OAI.CoulombAtom.packetDensity_unit_pos line 30
4. lemma OAI.CoulombAtom.exists_packet_unit_control line 41
5. lemma OAI.CoulombAtom.packetDensity_scaled_difference line 55
6. lemma OAI.CoulombAtom.packetDensity_scaled_lower line 67