# Commit 2023-05-24 11:30 6315581f

View on Github →feat(probability/kernel/disintegration): integral against `cond_kernel`

(#19066)

Mathlib v3 is deprecated. Go to Mathlib v4

feat(probability/kernel/disintegration): integral against `cond_kernel`

(#19066)