OAI/Analysis/CoulombIonization/Localization/ConditionalSandwich.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombObservation.condExp_observable_sandwich line 15
2. lemma OAI.CoulombObservation.raw_condExp_observable_error line 35
3. lemma OAI.CoulombAtom.integrable_configuration_test line 57
4. lemma OAI.CoulombAtom.observedLocalCount_integrable line 68
5. def OAI.CoulombAtom.posteriorTestValue line 78
6. lemma OAI.CoulombAtom.posteriorTestValue_tower line 83
7. theorem OAI.CoulombAtom.posterior_observed_test_sandwich line 89
8. theorem OAI.CoulombAtom.raw_posterior_local_test_error line 113