feat(Probability): Kernel.comp_const (#27586) κ ∘ₖ Kernel.const α μ = Kernel.const α (κ ∘ₘ μ)
Kernel.comp_const
κ ∘ₖ Kernel.const α μ = Kernel.const α (κ ∘ₘ μ)