Theorem ProbabilityTheory.iIndepFun_uncurry_infinitePi

Modification history

2025-10-26 07:20
Mathlib/Probability/Independence/InfinitePi.lean
feat: independence and uncurrying (#30184) …
Added ProbabilityTheory.iIndepFun_uncurry_infinitePiView on Github →