Theorem ProbabilityTheory.iIndepFun_infinitePi

Modification history

2025-10-26 07:20
Mathlib/Probability/Independence/InfinitePi.lean
feat: independence and uncurrying (#30184) …
Modified ProbabilityTheory.iIndepFun_infinitePiView on Github →
2025-08-07 07:54
Mathlib/Probability/Independence/InfinitePi.lean
feat: random variables on separate spaces are independent (#27984) …
Added ProbabilityTheory.iIndepFun_infinitePiView on Github →