Theorem ProbabilityTheory.IndepFun.cgf_add

Modification history

2025-10-14 14:50
Mathlib/Probability/Moments/Basic.lean
chore: notation for (conditional) independence (#30419) …
Modified ProbabilityTheory.IndepFun.cgf_addView on Github →
2023-06-21 09:25
Mathlib/Probability/Moments.lean
feat: port Probability.Moments (#5338) …
Added ProbabilityTheory.IndepFun.cgf_addView on Github →