OAI/Analysis/CoulombRadii/Propagation/WeakReactionMax.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.NeutralAtom.WeakLaplacianGE.max_reaction line 14
  2. lemma OAI.NeutralAtom.cutoffReaction_offset_ball_bound line 30
  3. lemma OAI.NeutralAtom.joint_compact_test_integrable line 53
  4. lemma OAI.NeutralAtom.integral_average_test line 70
  5. theorem OAI.NeutralAtom.WeakLaplacianGE.average line 78
  6. theorem OAI.NeutralAtom.tfReaction_integral_le line 95
  7. lemma OAI.NeutralAtom.nuclear_offset_test_identity line 117
  8. theorem OAI.NeutralAtom.weakNuclearSubsolution_offset_iff line 133
  9. theorem OAI.NeutralAtom.WeakNuclearSubsolution.max_reaction line 143
  10. theorem OAI.NeutralAtom.WeakNuclearSubsolution.average line 164