OAI/Analysis/CoulombRadii/Propagation/PropagationStepWeak.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.NeutralAtom.PropagationStepHypotheses.lower_pair line 16
2. lemma OAI.NeutralAtom.PropagationStepHypotheses.inner_weak line 24
3. lemma OAI.NeutralAtom.PropagationStepHypotheses.middle_weak line 40
4. lemma OAI.NeutralAtom.PropagationStepHypotheses.outer_weak line 56
5. theorem OAI.NeutralAtom.PropagationStepHypotheses.next_weak line 82
6. lemma OAI.NeutralAtom.PropagationStepHypotheses.pair_cap line 120
7. lemma OAI.NeutralAtom.PropagationStepHypotheses.next_caps line 133
8. lemma OAI.NeutralAtom.PropagationStepHypotheses.next_outer line 153
9. lemma OAI.NeutralAtom.PropagationStepHypotheses.next_error_nonneg line 167
10. lemma OAI.NeutralAtom.PropagationStepHypotheses.next_error_support line 171