OAI/Analysis/CoulombRadii/RandomFields/ObservationAnnulusTail.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.NeutralAtom.atomic_observed_small_annular_count_tail line 14
2. def OAI.NeutralAtom.observationSingleScale line 81
3. lemma OAI.NeutralAtom.observationSingleScale_preserving line 85
4. lemma OAI.NeutralAtom.physical_arrayEvent_probability line 95
5. theorem OAI.NeutralAtom.physical_observed_small_annular_count_tail line 107