OAI/Analysis/CoulombRadii/Propagation/PropagationMassTest.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.NeutralAtom.PropagationInvariant.mass_test line 13
2. lemma OAI.NeutralAtom.propagation_shell_volume line 62
3. lemma OAI.NeutralAtom.propagationBarrier_shell_lower line 69
4. lemma OAI.NeutralAtom.PropagationInvariant.reaction_shell_test line 79
5. theorem OAI.NeutralAtom.PropagationInvariant.charge_deficit line 120
6. lemma OAI.NeutralAtom.propagationDeficit_coefficient_pos line 152