`BookProof.ChapterHierarchicalBayesComposition.compKernel_assoc` (k₁ : A → B → ℝ) (k₂ : B → C → ℝ) (k₃ : C → D → ℝ) : compKernel (compKernel k₁ k₂) k₃ = compKernel...

Initializing...

`BookProof.ChapterHierarchicalBayesComposition.compKernel_assoc` (k₁ : A → B → ℝ) (k₂ : B → C → ℝ) (k₃ : C → D → ℝ) : compKernel (compKernel k₁ k₂) k₃ = compKernel... · Prove2Me