Theorem ProbabilityTheory.iIndepFun_uncurry'

Modification history

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