OAI/Analysis/CoulombRadii/Propagation/PosteriorPropagationData.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.NeutralAtom.NuclearRandomDatum line 14
2. lemma OAI.NeutralAtom.posterior_nuclear_datum line 27
3. lemma OAI.NeutralAtom.PropagationDatum.step_hypotheses line 52
4. lemma OAI.NeutralAtom.NuclearRandomDatum.initial_hypotheses line 73
5. theorem OAI.NeutralAtom.propagation_finite_iteration line 100