OAI/Analysis/CoulombIonization/Localization/OriginalPosteriorKernel.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CoulombAtom.OriginalDatum line 17
2. instance OAI.CoulombAtom.(instance at line 20) line 20
3. def OAI.CoulombAtom.originalDatum line 23
4. lemma OAI.CoulombAtom.originalDatum_measurable line 26
5. lemma OAI.CoulombAtom.originalDatum_comap line 32
6. def OAI.CoulombAtom.originalRawKernel line 36
7. instance OAI.CoulombAtom.originalRawKernel_markov line 40
8. def OAI.CoulombAtom.kernelPosteriorTest line 46
9. lemma OAI.CoulombAtom.kernelPosteriorTest_measurable line 50
10. lemma OAI.CoulombAtom.kernelPosteriorTest_eq line 58
11. lemma OAI.CoulombAtom.kernelPosteriorTest_tower line 69