OAI/Probability/PosteriorReplicas/Information/ConditionalKL.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.PosteriorReplicas.klDiv_kernel_prod_decomposition line 18
2. lemma OAI.PosteriorReplicas.cmi_eq_kernel_integral line 41
3. lemma OAI.PosteriorReplicas.klDiv_conditional_chain line 52