OAI/Analysis/CoulombIonization/FieldAnalysis/CellFieldNormalizationBarrier.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.thinFieldBase_antitone line 15
2. lemma OAI.CoulombAtom.sqrt_count_scale line 23
3. lemma OAI.CoulombAtom.thinFieldBase_normalized line 34
4. def OAI.CoulombAtom.cellFieldNormConstant line 98
5. lemma OAI.CoulombAtom.cellFieldNormConstant_one_le line 100
6. lemma OAI.CoulombAtom.cellField_norm_square line 108
7. theorem OAI.CoulombAtom.cell_fresh_field_mass line 137