OAI/Analysis/CoulombRadii/RandomFields/PhysicalBandEvent.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.NeutralAtom.physical_posterior_band_event line 16
2. lemma OAI.NeutralAtom.posterior_mesh_modulus line 98
3. lemma OAI.NeutralAtom.measurable_tailObservation_for_sigma line 152
4. lemma OAI.NeutralAtom.measurable_observed_count_tail line 156
5. lemma OAI.NeutralAtom.measurable_normalized_posterior_density_tail line 168
6. lemma OAI.NeutralAtom.measurable_normalized_posterior_field_tail line 177