Commit 2025-08-03 18:35 c593536d
View on Github →feat: random variables are independent iff their joint distribution is the product measure (#26265) Also prove that random variables are independent iff any finite subfamily is independent.
feat: random variables are independent iff their joint distribution is the product measure (#26265) Also prove that random variables are independent iff any finite subfamily is independent.