OAI/Analysis/CoulombRadii/Propagation/WeakLocality.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.NeutralAtom.coordinateLaplacian_finset_sum line 13
2. theorem OAI.NeutralAtom.WeakLaplacianGE.of_local line 24
3. lemma OAI.NeutralAtom.locallyIntegrable_of_ball_bounds line 75
4. lemma OAI.NeutralAtom.cutoffReaction_offset_locallyIntegrable line 88
5. lemma OAI.NeutralAtom.WeakLaplacianGE.mono_source_on line 97
6. theorem OAI.NeutralAtom.WeakNuclearSubsolution.max_cutoffTF line 112
7. theorem OAI.NeutralAtom.WeakNuclearSubsolution.finset_max_cutoffTF line 138