`BookProof.ChapterHierarchicalBayesComposition.compKernel_normalized` (k₁ : A → B → ℝ) (k₂ : B → C → ℝ) (h₁ : IsNormalizedKernel k₁) (h₂ : IsNormalizedKernel k₂) :...

Initializing...

`BookProof.ChapterHierarchicalBayesComposition.compKernel_normalized` (k₁ : A → B → ℝ) (k₂ : B → C → ℝ) (h₁ : IsNormalizedKernel k₁) (h₂ : IsNormalizedKernel k₂) :... · Prove2Me