OAI/Analysis/CoulombRadii/Propagation/PropagationAverage.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.NeutralAtom.integrable_section_of_ball_bounds line 14
2. lemma OAI.NeutralAtom.average_ball_bounds line 24
3. theorem OAI.NeutralAtom.continuous_average_of_ball_bounds line 37
4. lemma OAI.NeutralAtom.cutoffReaction_offset_uniform_bound line 59
5. lemma OAI.NeutralAtom.cutoffReaction_offset_joint_measurable line 81
6. lemma OAI.NeutralAtom.cutoffReaction_average_le line 90
7. theorem OAI.NeutralAtom.WeakNuclearSubsolution.average_cutoffTF line 118