Commit 2025-12-05 16:31 5869ccbf
View on Github →chore(Probability): split Independence.Kernel (#32327)
Create a new folder Kernel with two files: Indep is about independence of families of sets and sigma-algebras, while IndepFun contains the definitions and results about independence of random variables.