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

Initializing...

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