mathlib

c0d694db - feat(probability/kernel/integral_comp_prod): Bochner integral against the composition-product of two kernels (#18976)