Theorem ProbabilityTheory.iIndepFun_uncurry

Modification history

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