OAI/Analysis/CoulombRadii/Propagation/RadialMaxSplice.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.NeutralAtom.radialMaxSplice line 12
  2. lemma OAI.NeutralAtom.radialMaxSplice_inner line 15
  3. lemma OAI.NeutralAtom.radialMaxSplice_middle line 25
  4. lemma OAI.NeutralAtom.radialMaxSplice_outer line 36
  5. lemma OAI.NeutralAtom.continuous_radialMaxSplice line 47
  6. lemma OAI.NeutralAtom.radialMaxSplice_joint_measurable line 70
  7. lemma OAI.NeutralAtom.radialMaxSplice_abs_bound line 77
  8. def OAI.NeutralAtom.propagationPairOffset line 98
  9. def OAI.NeutralAtom.propagationNextOffset line 101
  10. lemma OAI.NeutralAtom.propagationPairOffset_continuous line 105
  11. lemma OAI.NeutralAtom.le_propagationPairOffset line 114
  12. lemma OAI.NeutralAtom.propagation_shift_cap_nonpos line 121
  13. lemma OAI.NeutralAtom.propagation_old_lower_overlap line 131
  14. lemma OAI.NeutralAtom.propagation_splice_overlaps line 143
  15. lemma OAI.NeutralAtom.propagationNextOffset_continuous line 174