`BookProof.ChapterFiniteBayesHierarchy.collapseKernels_append` (ks₁ ks₂ : List (S → S → ℝ)) : collapseKernels (ks₁ ++ ks₂) = compKernel (collapseKernels ks₁) (collapseKernels ks₂)

Initializing...

`BookProof.ChapterFiniteBayesHierarchy.collapseKernels_append` (ks₁ ks₂ : List (S → S → ℝ)) : collapseKernels (ks₁ ++ ks₂) = compKernel (collapseKernels ks₁) (collapseKernels ks₂) · Prove2Me