OAI/Analysis/CoulombIonization/Ionization/MasterJointPosterior.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CoulombAtom.jointMasterPosterior line 18
2. lemma OAI.CoulombAtom.jointMasterPosterior_nonneg line 23
3. lemma OAI.CoulombAtom.jointMasterPosterior_measurable line 29
4. lemma OAI.CoulombAtom.masterKernel_integrable line 41
5. lemma OAI.CoulombAtom.masterConfigurationKernel_integrable line 49
6. lemma OAI.CoulombAtom.jointMasterPosterior_integrable line 66
7. lemma OAI.CoulombAtom.jointMasterPosterior_mass line 73
8. lemma OAI.CoulombAtom.jointMasterPosterior_eq_scalar line 86