OAI/Analysis/CoulombRadii/Propagation/PropagationConstants.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.NeutralAtom.PropagationConstants line 13
2. lemma OAI.NeutralAtom.propagation_constants_exist line 31
3. lemma OAI.NeutralAtom.tfReaction_posFactor line 69
4. lemma OAI.NeutralAtom.initial_constants_exist line 77
5. lemma OAI.NeutralAtom.initial_scaled_gates line 101
6. theorem OAI.NeutralAtom.physical_propagation_good_events line 123