`BookProof.ChapterHierarchicalBayesComposition.compKernel_id` (k : A → B → ℝ) : compKernel k (idKernel : B → B → ℝ) = k

Initializing...

`BookProof.ChapterHierarchicalBayesComposition.compKernel_id` (k : A → B → ℝ) : compKernel k (idKernel : B → B → ℝ) = k · Prove2Me