OAI/Analysis/CoulombIonization/FormDomain/WeakMaximum.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAnalysis.newtonComparisonTest_pairing line 19
2. theorem OAI.CoulombAnalysis.weak_laplacian_no_positive_at_max line 33
3. lemma OAI.CoulombAnalysis.tsupport_translate_subset line 109
4. lemma OAI.CoulombAnalysis.weak_laplacian_no_positive_at_max_center line 115
5. theorem OAI.CoulombAnalysis.weak_laplacian_no_positive_at_max_local line 140