OAI/Probability/SKGap/Gaussian/GaussianMarginal.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SKGap.GaussianHistory.pi_gaussian_add line 13
2. def OAI.SKGap.GaussianHistory.field line 28
3. lemma OAI.SKGap.GaussianHistory.continuous_field line 32
4. lemma OAI.SKGap.GaussianHistory.map_scaled_reference line 37
5. lemma OAI.SKGap.GaussianHistory.map_field_reference line 50
6. lemma OAI.SKGap.GaussianHistory.likelihood_field line 86
7. lemma OAI.SKGap.GaussianHistory.map_withDensity_comp line 101
8. theorem OAI.SKGap.GaussianHistory.field_law line 112
9. lemma OAI.SKGap.GaussianHistory.weight_field line 141
10. lemma OAI.SKGap.GaussianHistory.posterior_gibbs_field line 152