OAI/Analysis/CoulombRadii/Variational/RetainedAnalyticSequence.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.NeutralAtom.tfDensityScalar_nonneg line 13
  2. theorem OAI.NeutralAtom.tfDensityScalar_monotone line 16
  3. theorem OAI.NeutralAtom.tfReaction_dilate line 21
  4. theorem OAI.NeutralAtom.semilinear_dilate line 31
  5. theorem OAI.NeutralAtom.continuousOn_dilate line 43
  6. theorem OAI.NeutralAtom.dilate_cap line 50
  7. theorem OAI.NeutralAtom.semilinear_absolute_bound line 61
  8. theorem OAI.NeutralAtom.eventual_barrier_boundary line 135
  9. theorem OAI.NeutralAtom.barrier_lower_of_eventual_comparison line 172
  10. theorem OAI.NeutralAtom.correctionDensity_bound line 203
  11. theorem OAI.NeutralAtom.potentialOf_add_bounded line 214
  12. theorem OAI.NeutralAtom.full_correction_tendsto_zero line 226
  13. theorem OAI.NeutralAtom.screened_limit_positive line 244
  14. theorem OAI.NeutralAtom.expanding_annular_error_locallyUniform line 300
  15. theorem OAI.NeutralAtom.expanding_annular_cap_limit line 325
  16. theorem OAI.NeutralAtom.expanding_annular_cap_eventually line 337
  17. theorem OAI.NeutralAtom.expanding_annular_density_bound line 345
  18. theorem OAI.NeutralAtom.locallyUniform_of_subsequence line 371
  19. structure OAI.NeutralAtom.RetainedAnalyticSequence line 390