OAI/Analysis/CoulombIonization/FieldAnalysis/ObservedFieldScale.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CoulombAtom.innerScale line 12
2. lemma OAI.CoulombAtom.innerScale_nonneg line 13
3. lemma OAI.CoulombAtom.annularOffsetMass_sq_div line 16
4. lemma OAI.CoulombAtom.annularInnerRadiusScale line 22
5. lemma OAI.CoulombAtom.ensemble_field_annular_bound line 42
6. lemma OAI.CoulombAtom.innerFieldVolume_le line 74
7. lemma OAI.CoulombAtom.innerCapAverage_scale line 83