OAI/Probability/FreeIsing/Posterior/GaussianTesting.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem367.gaussianPi_map_sqrt line 13
2. theorem OAI.Problem367.finiteStandardGaussianPlanted_joint_law line 29
3. theorem OAI.Problem367.FinitePosterior.exponential_posterior_eq_fieldMean line 59
4. theorem OAI.Problem367.finiteStandardGaussianPlanted_condExp_fieldMean line 91
5. theorem OAI.Problem367.finiteStandardGaussianPlanted_integral_test_fieldMean line 120