OAI/Analysis/CoulombRadii/FieldAnalysis/NewtonInterior.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.Coulomb.radial_coulomb_lintegral_inner line 13
  2. lemma OAI.Coulomb.radial_coulomb_integral_inner line 29
  3. def OAI.Coulomb.radialShell line 74
  4. def OAI.Coulomb.radialShellDensity line 76
  5. lemma OAI.Coulomb.measurableSet_radialShell line 78
  6. lemma OAI.Coulomb.radialShellDensity_measurable line 80
  7. lemma OAI.Coulomb.radialShellDensity_nonneg line 82
  8. lemma OAI.Coulomb.radialShellDensity_le line 84
  9. lemma OAI.Coulomb.radialShellDensity_integrable line 86
  10. lemma OAI.Coulomb.radialShellDensity_mass line 90
  11. lemma OAI.Coulomb.radialShellDensity_radial line 98
  12. lemma OAI.Coulomb.radialShellDensity_zero_inner line 103
  13. lemma OAI.Coulomb.radialShell_coulomb_integrable line 108
  14. def OAI.Coulomb.radialShellMoment line 113
  15. lemma OAI.Coulomb.radialShellMoment_integrable line 115
  16. lemma OAI.Coulomb.radialShell_coulomb_inner line 119
  17. lemma OAI.Coulomb.radialShellMoment_lower line 125
  18. lemma OAI.Coulomb.radialShellMoment_pos line 138
  19. lemma OAI.Coulomb.atomicInnerField_shell_average line 143