OAI/Analysis/CoulombIonization/FieldAnalysis/WeakPositiveComparisonBarrier.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAnalysis.norm_sq_weak_laplacian line 20
2. lemma OAI.CoulombAnalysis.quadratic_weak_pairing line 32
3. theorem OAI.CoulombAnalysis.weak_subharmonic_positive_ball line 54
4. theorem OAI.CoulombAnalysis.weak_subharmonic_positive_compact line 117