# Commit 2023-05-23 08:35 c0d694db

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

Mathlib v3 is deprecated. Go to Mathlib v4

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