OAI/Probability/PosteriorReplicas/Measures/ReferenceMoments.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.PosteriorReplicas.tilt_tuple_inverse_finite line 12
2. lemma OAI.PosteriorReplicas.ae_equalReference_of_constrained line 28
3. lemma OAI.PosteriorReplicas.ae_equalReference_density_pos line 45
4. lemma OAI.PosteriorReplicas.ae_equalReference_affine_pos line 56
5. lemma OAI.PosteriorReplicas.reference_weight_moment line 68
6. lemma OAI.PosteriorReplicas.reference_inverse_density_moment line 82