OAI/Analysis/CoulombRadii/Propagation/InitialDatum.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.NeutralAtom.initialPropagationOffset_joint_measurable line 15
2. lemma OAI.NeutralAtom.initialPropagationOffset_uniform_bounds line 22
3. lemma OAI.NeutralAtom.initialNextOffset_joint_measurable line 38
4. lemma OAI.NeutralAtom.initialNextOffset_uniform_bounds line 47
5. lemma OAI.NeutralAtom.initialPropagationError_joint_measurable line 56
6. lemma OAI.NeutralAtom.initialPropagationError_uniform_bounds line 63
7. def OAI.NeutralAtom.initialPropagationDatum line 75
8. lemma OAI.NeutralAtom.shell_error_product_integrable line 99
9. lemma OAI.NeutralAtom.propagationStepError_total line 114
10. lemma OAI.NeutralAtom.initialPropagationError_total line 146