# Commit 2023-05-22 10:23 3b88f400

View on Github →feat(probability/kernel/disintegration): disintegration of finite measures on product spaces (#18834)
Disintegration of finite measures on `α × Ω`

, where `Ω`

is a standard Borel space.

Mathlib v3 is deprecated. Go to Mathlib v4

feat(probability/kernel/disintegration): disintegration of finite measures on product spaces (#18834)
Disintegration of finite measures on `α × Ω`

, where `Ω`

is a standard Borel space.