# Commit 2023-09-12 23:46 001ffdc4

View on Github →feat(probability/independence): Independence of singletons (#18506)
Characterisation of independence in terms of measure distributing over finite intersections, and lemmas connecting the different concepts of independence.
Also add supporting `measurable_space`

and `set.preimage`

lemmas