OAI/Analysis/CoulombRadii/Propagation/PropagationMaximum.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.NeutralAtom.propagationCandidates line 12
  2. def OAI.NeutralAtom.propagationCandidateSources line 15
  3. theorem OAI.NeutralAtom.propagation_finite_max_step line 19
  4. def OAI.NeutralAtom.propagationInnerIndices line 129
  5. def OAI.NeutralAtom.propagationMiddleIndices line 130
  6. lemma OAI.NeutralAtom.zero_mem_propagationInnerIndices line 132
  7. lemma OAI.NeutralAtom.one_mem_propagationInnerIndices line 134
  8. lemma OAI.NeutralAtom.two_not_mem_propagationInnerIndices line 136
  9. lemma OAI.NeutralAtom.zero_mem_propagationMiddleIndices line 138
  10. lemma OAI.NeutralAtom.one_mem_propagationMiddleIndices line 140
  11. lemma OAI.NeutralAtom.two_mem_propagationMiddleIndices line 142
  12. lemma OAI.NeutralAtom.propagationInner_sup line 145
  13. lemma OAI.NeutralAtom.propagationMiddle_sup line 150